Misc

2004

  1. Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober. IF Tutorial. Presented at the 9th SPIN'04 Workshop on Model-Checking of Software, Barcelona, Spain, April 2004. (more) pdf