Henry McGloughlin, Gerard O Regan, editors, 1st Irish Workshop on Formal Methods, IWFM 1997, Dublin, Eire, 3-4 July 1997. Workshops in Computing, BCS, 1997.
Conference: iwfm1997
@proceedings{iwfm:1997, title = {1st Irish Workshop on Formal Methods, IWFM 1997, Dublin, Eire, 3-4 July 1997}, year = {1997}, researchr = {https://researchr.org/publication/iwfm%3A1997}, cites = {0}, citedby = {0}, booktitle = {1st Irish Workshop on Formal Methods, IWFM 1997, Dublin, Eire, 3-4 July 1997}, conference = {iwfm}, editor = {Henry McGloughlin and Gerard O Regan}, series = {Workshops in Computing}, publisher = {BCS}, }