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

Attività

Strutture