@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}
}