Verification,
Model Checking and Abstract Interpretation
|
|
|
Program Committee
Organizing Committee Sabina Rossi, Chiara Braghin,
Riccardo Focardi, Carla Piazza, Agostino Cortesi Sponsors Dip.
di Informatica Università Ca' Foscari di Venezia |