1st Irish Workshop on Formal Methods
Subtitle: proceedings of the 1st Irish Workshop on Formal Methods, Dublin, 3-4 July 1997
By: Gerard O'Regan and Sharon Flynn (eds).
Contributors: Flynn, Sharon.; O'Regan, Gerard.; British Computer Society.
Series: Electronic workshops in computing
Publisher: Springer
Published: 1997
Place of publication: London
Language: eng
Subjects: Computer science -- Congresses.; Logic, Symbolic and mathematical -- Congresses.
Genres: Congresses.
Notes: Contains abstracts of the conference papers.

"Published in collaboration with the British Computer Society".