%0 Book Section %1 hinchey_09_encouraging %A Hinchey, Michael G. %B Leveraging Applications of Formal Methods, Verification and Validation %D 2009 %J Leveraging Applications of Formal Methods, Verification and Validation %K 2009 %P 473--477 %R http://dx.doi.org/10.1007/978-3-540-88479-8_33 %T Encouraging the Uptake of Formal Methods Training in an Industrial Context %U http://dx.doi.org/10.1007/978-3-540-88479-8_33 %V 17 %X 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. %& 9

@incollection{hinchey_09_encouraging, 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.}, added-at = {2009-02-11T20:10:00.000+0100}, author = {Hinchey, Michael G.}, biburl = {https://www.bibsonomy.org/bibtex/250713b39d619a61aef3c69b2afaf2ea4/leonardo}, booktitle = {Leveraging Applications of Formal Methods, Verification and Validation}, chapter = 9, citeulike-article-id = {3578013}, doi = {http://dx.doi.org/10.1007/978-3-540-88479-8_33}, interhash = {d88f124ac8107eff0b1d1371c79dcfd5}, intrahash = {50713b39d619a61aef3c69b2afaf2ea4}, journal = {Leveraging Applications of Formal Methods, Verification and Validation}, keywords = {2009}, pages = {473--477}, posted-at = {2008-11-19 12:44:03}, priority = {2}, timestamp = {2009-02-11T20:10:00.000+0100}, title = {Encouraging the Uptake of Formal Methods Training in an Industrial Context}, url = {http://dx.doi.org/10.1007/978-3-540-88479-8_33}, volume = 17, year = 2009 }