DBLP Record 'conf/iwfm/2000'

BibTeX

@proceedings{DBLP:conf/iwfm/2000,
  editor    = {David Sinclair and
               J. Paul Gibson},
  title     = {4th Irish Workshop on Formal Methods, IWFM 2000, Maynooth,
               Ireland, 5th-6th July 2000},
  booktitle = {IWFM},
  publisher = {BCS},
  series    = {Workshops in Computing},
  year      = {2000},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}