PROCEEDINGS.bib

@comment{{This file has been generated by bib2bib 1.99}}

@comment{{Command line: bib2bib -ob PROCEEDINGS.bib -oc PROCEEDINGS-cites -c 'not $key : "TRX$"' -c '$type : "^PROCEEDINGS$"' ../pubs-html.bib}}

@proceedings{FM05,
  editor = {J. Fitzgerald and I.J. Hayes and A. Tarlecki},
  title = {FM 2005: Formal Methods -- Proceedings
    13th International Symposium of Formal Methods Europe,
    Newcastle, UK, July 2005},
  ibsn = {3-540-27882-6},
  issn = {0302-9743},
  volume = {3582},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer Verlag},
  city = {Berlin},
  month = {July},
  conference = {Newcastle, UK, 18--22 July 2005},
  project = {CEO348249 ACCS},
  rfcd = {280302 (Software Engineering)},
  seo = {700199 (Computer Software and Services n.e.c.)},
  year = {2005}
}

@proceedings{ARW96,
  title = {Proc.\ 5th Australasian Refinement Workshop},
  editor = {I. J. Hayes},
  organization = {Software Verification Research Centre, The University of Queensland},
  note = {Unrefereed.},
  url = {http://www.itee.uq.edu.au/~arw},
  month = {April},
  year = {1996}
}

This file was generated by bibtex2html 1.99.

Last updated: Wed 29 Oct 2025 20:41:30 AEST