Teaching formal methods CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : proceedings / - Dean, Neville.; Boute, R. T. (Lecture notes in computer science,)