2nd Irish Workshop on Formal Methods, Cork, Eire, 2-3 July 1998

Sharon Flynn Andrew Butterfield 2nd Irish Workshop on Formal Methods, Cork, Eire, 2-3 July 1998 IWFM Workshops in Computing BCS 1998 db/conf/iwfm/iwfm1998.html