Certificazione automatica di programmi mediante interpretazione astratta

  1. Home
  2. Ricerca
  3. Progetti
  4. 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

Condividi