|
National Research Project: AIDA2007
- Project Title
-
AIDA2007 - Abstract Interpretation Design and Applications
- Kind
-
Collaborative MIUR Project between the universities of
Padova, Parma, Verona.
- Period
-
September 2008 - September 2010.
- National Project Description
-
Modello A
- National Coordinator
-
Prof. Francesco Ranzato.
- Local Project Description
-
Modello B
- Local Coordinator
-
Prof. Roberto Bagnara.
- Local Members
-
Dr. Gianluca Amato
Prof. Roberto Bagnara
Prof. Enea Zaffanella
[Page last updated on November 30, 2008, 19:19:56.]
|