Teaching Formal Methods

TFM 2009: Eindhoven, The Netherlands

TFM 2004: Ghent, Belgium

maintained by Schloss Dagstuhl LZI at University of Trier