Neville Dean, C.Boute, Raymond2021-10-152021-10-152004-01https://imec-publications.be/handle/20.500.12860/8452Teaching Formal Methods. CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. ProceedingsBook