SFM-02:MC
2nd International School on
Formal Methods for the Design of
Computer, Communication and Software Systems:
Model Checking
9-14 September 2002
University of Bologna Residential Center
Redirecting to the
new
official page... wait a few seconds.