Teaching Formal Methods CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings - Dean, C. Neville; Dean, C. Neville; Boute, Raymond T.; Boute, Raymond T. (Springer Berlin Heidelberg : Imprint: Springer, 2004)