InterAbstract - Verification and Security by Abstract Interpretation

Starting date
December 1, 2005
Duration (months)
61
Departments
Computer Science
Managers or local contacts
Giacobazzi Roberto

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

Sponsors:

Ministero dell'Istruzione dell'Università e della Ricerca
Funds: assigned and managed by the department
Syllabus: INTERNAZ - Progetti di Internazionalizzazione

Project participants

Roberto Giacobazzi
Full Professor

Activities

Research facilities