Teaching Formal Methods

TFM 2009: Eindhoven, The Netherlands

TFM 2004: Ghent, Belgium

maintained by Schloss Dagstuhl LZI, founded at University of Trier