@conference {Ol04 ,
	title = {A Survey of Formal Methods Courses in European Higher Education},
	booktitle = {TFM - Teaching Formal Methods},
	volume = {3294},
	year = {2004},
	month = {November },
	pages = {235-248},
	address = {Ghent, Belgium},
	abstract = {<p>This paper presents a survey of Formal Methods courses in European higher education carried out by the FME Subgroup on Education over the last two years. The survey data sample is made of 117 courses spreading over 58 higher-education institutions across 13 European countries and involving (at least) 91 academic staff.<br />
A total number of 365 websites have been browsed which are accessible from the electronic (HTML) version of this paper in the form of links to course websites, lecturers and topic entries in encyclopedias or virtual libraries.Three main projections of our sample are briefly analysed. Although far from being fully representative, these already provide some useful indicators about the impact of formal methods in European computing curricula.</p>
},
	url = {http://link.springer.com/chapter/10.1007\%2F978-3-540-30472-2_16},
	author = {Jos{\'e} Nuno Oliveira},
	editor = {C. Dean and R. Boute}
}