cs@parma

Home

People

Projects

Publications

Seminars

Software

Links

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.]

Page maintained by
Enea Zaffanella

Home | People | Projects | Publications | Seminars | Software | Links