Teaching Formal Methods

TFM 2009: Eindhoven, The Netherlands

TFM 2004: Ghent, Belgium