Workshops and Tutorials at IFM2007
There are three workshops associated with IFM 2007, taking place on the Monday and Tuesday of the conference week. For further details, see:
- Refinement Workshop (Monday)
- C/C++ Verification Workshop (Monday)
- Workshop on Methods, Models and Tools for Fault Tolerance (Tuesday)
There is also a tutorial, on the