| [1] | J. Fitzgerald, I.J. Hayes, and A. Tarlecki, editors. FM 2005: Formal Methods - Proceedings 13th International Symposium of Formal Methods Europe, Newcastle, UK, July 2005, volume 3582 of Lecture Notes in Computer Science. Springer Verlag, July 2005. [ bib ] |
| [2] | I. J. Hayes, editor. Proc. 5th Australasian Refinement Workshop. Software Verification Research Centre, The University of Queensland, April 1996. Unrefereed. [ bib | http ] |
This file has been generated by bibtex2html 1.88.
Last updated: