Consulta la scheda completa presente nel
repository istituzionale della Ricerca di Ateneo
Title | Department | Managers |
---|---|---|
Sintesi di procedure di decisione basate sulla deduzione con applicazioni all'analisi formale automatica di programmi (PRIN 2003) | Department Informatica | Maria Paola Bonacina |
Strada le Grazie 15
37134 Verona
VAT number
01541040232
Italian Fiscal Code
93009870234
© 2022 | Verona University | Credits