1st Irish Workshop on Formal Methods : proceedings of the 1st Irish Workshop on Formal Methods, Dublin, 3-4 July 1997 /
Irish Workshop on Formal Methods(1st :1997 :Dublin, Ireland)
O'Regan, Gerard.
Flynn, Sharon.
British Computer Society.
London : Springer,
c1997.
Contains abstracts of the conference papers.
"Published in collaboration with the British Computer Society."
Computer science
Logic, Symbolic and mathematical