Sharon Flynn, Andrew Butterfield, editors, 2nd Irish Workshop on Formal Methods, Cork, Eire, 2-3 July 1998. Workshops in Computing, BCS, 1998.
Conference: iwfm1998
No references recorded for this publication.
No citations of this publication recorded.