DBLP Record 'conf/iwfm/2003'

BibTeX

@proceedings{DBLP:conf/iwfm/2003,
  editor    = {Joseph M. Morris and
               Benjamin Aziz and
               Fr{\'e}d{\'e}ric Oehl},
  title     = {6th International Workshop on Formal Methods, IWFM 2003,
               Dublin City University. 11 July, 2003},
  booktitle = {IWFM},
  publisher = {BCS},
  series    = {Workshops in Computing},
  year      = {2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}