TFM 2004 (2004 Ghent, Belgium)

• Teaching formal methods