5. IWFM 2001:
Dublin,
Ireland
Andrew Butterfield, Glenn Strong, Claus Pahl (Eds.):
5th Irish Workshop on Formal Methods, IWFM 2001, Dublin, Ireland, 16-17 July 2001.
Workshops in Computing BCS 2001 BibTeX
@proceedings{DBLP:conf/iwfm/2001,
editor = {Andrew Butterfield and
Glenn Strong and
Claus Pahl},
title = {5th Irish Workshop on Formal Methods, IWFM 2001, Dublin, Ireland,
16-17 July 2001},
booktitle = {IWFM},
publisher = {BCS},
series = {Workshops in Computing},
year = {2001},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © Sat May 16 23:27:15 2009
by Michael Ley (ley@uni-trier.de)
