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

4. IWFM 2000: Maynooth, Ireland

David Sinclair, J. Paul Gibson (Eds.): 4th Irish Workshop on Formal Methods, IWFM 2000, Maynooth, Ireland, 5th-6th July 2000. Workshops in Computing BCS 2000 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
@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}
}

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