Show Menu
Hide Menu
Laboratorio di Computer Sciences
Dal Direttore
Organizzazione
Organizzazione del LIP6
Direttori
Servizi amministrativi
IT Service
Consiglio Scientifico
Consiglio di Laboratorio
Bordo
Teaching
Come raggiungerci
Ricerca
Axes & Teams
Pubblicazioni
Progetti
ERC Projects
European Projects
Priority Research Programmes and Equipments
Common Laboratories
ANR Projects
Relazione annuale
Valutazione
Our skills
Works with us
Software
Brevetti
Start-ups
Offerte di lavoro
Rubrica del personale
Colloquio
🔒
📫
🇮🇹
🇫🇷
🇬🇧
🇮🇹
-
Computer Science Laboratory
Offerte di lavoro
These : Formal Verification by Abstract Interpretation of Functional Correctness Properties of Neural Networks
Sorry, no longer relevant