Certificazione automatica di programmi mediante interpretazione astratta

  1. Home
  2. Research
  3. Projects
  4. 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