2nd International Workshop on Verification, Model Checking and Abstract Interpretation

September 19, 1998 Pisa (Italy)


Preliminary Program

h. 9.00 - Session I: Model checking