Slides
Modelling and Verification 2008

All the slides are in PDF format.