|
Financial support: M.U.R.S.T. Co-financed project
Part of the National project:
"Automatic Program
Certification by Abstract Interpretation"
National project coordinator: Roberto
Giacobazzi, Univ. di Verona
Local project coordinator: Gianfranco
Rossi, Univ. di Parma
Period: Feb. 2000 - Feb. 2002
Local Members of the project:
Final report (in Italian)