Andrew Butterfield, Glenn Strong, Claus Pahl, editors, 5th Irish Workshop on Formal Methods, IWFM 2001, Dublin, Ireland, 16-17 July 2001. Workshops in Computing, BCS, 2001.
Conference: iwfm2001
@proceedings{iwfm:2001,
title = {5th Irish Workshop on Formal Methods, IWFM 2001, Dublin, Ireland, 16-17 July 2001},
year = {2001},
researchr = {https://researchr.org/publication/iwfm%3A2001},
cites = {0},
citedby = {0},
booktitle = {5th Irish Workshop on Formal Methods, IWFM 2001, Dublin, Ireland, 16-17 July 2001},
conference = {iwfm},
editor = {Andrew Butterfield and Glenn Strong and Claus Pahl},
series = {Workshops in Computing},
publisher = {BCS},
}