|
National Research Project: COFIN'99
- Project Title
-
Automatic Program Certification by Abstract Interpretation
- Kind
-
Collaborative MURST Project between the universities of
Parma, Pisa, Udine, Venezia, Verona (COFIN'99).
- Period
-
February 2000 - February 2002.
- National Coordinator
-
Prof. Roberto Giacobazzi.
- Local Project Title
-
Tools and Techniques for Efficient Program Analysis
- Local Coordinator
-
Prof. Gianfranco Rossi.
- Local Members
-
Prof. Roberto Bagnara
Prof. Gianfranco Rossi
Dr. Enea Zaffanella
[Page last updated on January 24, 2005, 14:47:57.]
|