3rd Irish Workshop on Formal Methods
Galway, Ireland. 1st - 2nd July 1999
This conference was edited by:
Dr. Andrew Butterfield (TCD)Dr. Klemens Haegele (TCD)
Conference Introduction
Our website uses cookies to help improve your experience. You can find out more about the use of cookies by reading our cookies policy.
