cs@parma

Home

People

Projects

Publications

Seminars

Software

Links

National Research Project: AIDA

Project Title
AIDA - Abstract Interpretation: Design and Applications

Kind
Collaborative MURST Project between the universities of Bologna, Padova, Parma, Pisa, Udine, Verona, Venezia.

Period
December 2004 - December 2006.

National Coordinator
Prof. Roberto Giacobazzi.

Local Project Title
Modello B

Local Coordinator
Prof. Roberto Bagnara.

Local Members
Prof. Roberto Bagnara
Dr. Elio Panegai
Prof. Gabriele Ricci
Prof. Gianfranco Rossi
Dr. Enea Zaffanella

[Page last updated on January 18, 2013, 17:03:56.]

Page maintained by
Enea Zaffanella

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