Abstraction for verification

  1. Home
  2. Research
  3. Projects
  4. Abstraction for verification
Starting date
June 1, 2002
Duration (months)
12
Departments
Computer Science
Managers or local contacts
Giacobazzi Roberto
URL
http://www.daad.de/

Sponsors:

Conferenza Rettori Universita' Italiane (CRUI)
Funds: assigned and managed by an external body

Project participants

Roberto Giacobazzi
Full Professor
Isabella Mastroeni
Associate Professor

Activities

Research areas

Research groups

PhD Programmes

Research facilities

Share