4th Irish Workshop on Formal Methods
Maynooth, Ireland. 5th-6th July 2000
Rigorous Object-Oriented Methods 2000
York, UK. 17 January 2000
Our website uses cookies to help improve your experience. You can find out more about the use of cookies by reading our cookies policy.