Talks

Model Checking for Software

Title
Model Checking for Software
Speaker(s)
Charles Pecheur
Context
Tutorial for MOVES meeting, June 2008
File(s)
pecheur-moves2008-slides

Speakers
Charles Pecheur
Tags
, , , ,