Consulta la scheda completa presente nel repository istituzionale della Ricerca di Ateneo
Title | Department | Managers |
---|---|---|
Integrazione di metodi di ragionamento automatico nel model checking: verifica formale automatica di sistemi di grande scala e a stati infiniti - Progetto ed integrazione di macchine di prova per l'analisi di programmi (PRIN 2007) | Department Informatica | Maria Paola Bonacina |
******** CSS e script comuni siti DOL - frase 9957 ********p>