Consulta la scheda completa presente nel
repository istituzionale della Ricerca di Ateneo
Titolo | Dipartimento | Responsabili |
---|---|---|
Sintesi di procedure di decisione basate sulla deduzione con applicazioni all'analisi formale automatica di programmi (PRIN 2003) | Dipartimento Informatica | Maria Paola Bonacina |
Strada le Grazie 15
37134 Verona
Partita IVA
01541040232
Codice Fiscale
93009870234
© 2022 | Università degli studi di Verona | Credits