@inproceedings{DBLP:conf/tfm/DaviesSM04,
  author = "Jim Davies and Andrew Simpson and Andrew Martin",
  crossref = "",
  pages = "185-202",
  title = "Teaching Formal Methods in Context",
  url = "http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3294{\&}spage=185",
  year = "2004",
  booktitle = "Teaching Formal Methods, CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004, Proceedings",
  editor = "C. Neville Dean and Raymond T. Boute",
  isbn = "3-540-23611-2",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  booktitle = "Teaching Formal Methods, CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004, Proceedings",
  volume = "3294",
  year = "2004",
}