@inproceedings{DBLP:conf/tfm/DaviesSM04,
  title = "Teaching Formal Methods in Context",
  author = "Jim Davies and Andrew Simpson and Andrew Martin",
  year = "2004",
  crossref = "DBLP:conf/tfm/2004",
  pages = "185-202",
  url = "http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3294{\&}spage=185",
}