Certificazione automatica di programmi mediante interpretazione astratta

Starting date
November 26, 1999
Duration (months)
24
Departments
Computer Science
Managers or local contacts
Giacobazzi Roberto
URL
http://theory.sci.univr.it/projects/p40/

Sponsors:

Ministero dell'Istruzione dell'Università e della Ricerca
Funds: assigned and managed by the department

Project participants

Roberto Giacobazzi
Full Professor

Activities

Research facilities