Certificazione automatica di programmi mediante interpretazione astratta

Data inizio: 26 novembre 1999
Durata (mesi): 24
Dipartimenti: Informatica
Responsabili (o referenti locali): Giacobazzi Roberto
URL: http://theory.sci.univr.it/projects/p40/

Enti finanziatori:

Ministero dell'Istruzione dell'Università e della Ricerca: Finanziamento: assegnato e gestito dal dipartimento

Partecipanti al progetto

Roberto Giacobazzi: Professore ordinario