Contains abstracts of the conference papers.
"Published in collaboration with the British Computer Society".
1st Irish Workshop on Formal Methods : proceedings of the 1st Irish Workshop on Formal Methods, Dublin, 3-4 July 1997. ISBN 3540761969. Published by Springer in 1997. Publication and catalogue information, links to buy online and reader comments.