dblp.uni-trier.de www.uni-trier.de

6. IWFM 2003: Dublin, Ireland

Joseph M. Morris, Benjamin Aziz, Frédéric Oehl (Eds.): 6th International Workshop on Formal Methods, IWFM 2003, Dublin City University. 11 July, 2003. Workshops in Computing BCS 2003 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
@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}
}

Copyright © Tue Mar 16 02:16:47 2010 by Michael Ley (ley@uni-trier.de)