@inbook{06bfb1ed5eae49b6a892715df97f8f87,
title = "Encouraging the Uptake of Formal Methods Training in an Industrial Context",
abstract = "I recently had occasion to revisit a collection of papers edited by myself and Jonathan Bowen published way back in 1995. The collection, Applications of Formal Methods [1], sprung from the obvious need in the formal methods community for detailed examples, insights from industrial best practice, and experience reports.",
author = "Hinchey, {Michael G.}",
year = "2009",
doi = "10.1007/978-3-540-88479-8_33",
language = "English",
isbn = "9783540884781",
series = "Communications in Computer and Information Science",
publisher = "Springer Verlag",
pages = "473--477",
editor = "Tiziana Margaria and Bernhard Steffen",
booktitle = "Communications in Computer and Information Science",
}