|||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]|
|||I.J. Hayes, editor. Proc. 5th Australasian Refinement Workshop. Software Verification Research Centre, The University of Queensland, April 1996. Unrefereed. [bib| http]|
This file was generated by bibtex2html 1.98.
Last updated: Sat 7 Jan 2017 15:59:08 AEDT