2nd International Workshop on 
Verification, Model Checking and Abstract Interpretation 
September 19, 1998 - Pisa, Italy

In association with SAS'98 and PLILP/ALP'98 
and 
Compunet area: Language Design, Semantics and Verification 
Annual Meeting 

---