@inproceedings{Davies_et_al_2004,
  title = "Teaching Formal Methods in Context",
  author = "J. W. Davies and A. C. Simpson and A. P. Martin",
  year = "2004",
  booktitle = "Proceedings of CoLogNet / Formal Methods Europe Symposium on Teaching Formal Methods 2004",
  editor = "Dean, C.~N. and Boute, R.~F.",
  pages = "186--202",
  publisher = "Springer-Verlag Lecture Notes in Computer Science, volume 3294",
}