InterAbstract - Verification and Security by Abstract Interpretation

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

Research groups

PhD Programmes

Research facilities

Share