Skip to Main Content (Press Enter)
×
Home
Persone
Attività
Ambiti
Strutture
Pubblicazioni
Terza Missione
IT
EN
☰
Expertise & Skills
|
Expertise & Skills
unimi.it
IT
EN
×
Home
Persone
Attività
Ambiti
Strutture
Pubblicazioni
Terza Missione
☰
Ambiti
PE6_3 - Formal methods - (2008)
Concetto
Altre Info
Altre Info
Area di ricerca di (2)
BELLETTINI CARLO NICOLA MARIA
Persona
PROFESSORE ASSOCIATO CONFERMATO
Dipartimento di Informatica Giovanni Degli Antoni
BRUSCHI DANILO MAURO
Persona
PROFESSORE ORDINARIO
Dipartimento di Informatica Giovanni Degli Antoni