1st Irish Workshop on Formal Methods (Electronic Workshops in Computing)Gerard O'Regan · First published 1997Open the Tome