InterAbstract - Verification and Security by Abstract Interpretation

Data inizio
1 dicembre 2005
Durata (mesi) 
61
Dipartimenti
Informatica
Responsabili (o referenti locali)
Giacobazzi Roberto

Programmi per l'incentivazione del processo di internazionalizzazione del sistema universitario (DN 05/08/2004)

Enti finanziatori:

Ministero dell'Istruzione dell'Università e della Ricerca
Finanziamento: assegnato e gestito dal dipartimento
Programma: INTERNAZ - Progetti di Internazionalizzazione

Partecipanti al progetto

Roberto Giacobazzi
Professore ordinario

Attività

Strutture di ricerca