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 facilities