Oliveira JN.? 2004.??A Survey of Formal Methods Courses in European Higher Education. TFM - Teaching Formal Methods. 3294:235-248.