Mícheál Mac an Airchinnigh. Mathematics for Formal Methods, a Proposal for Education Reform. In Sharon Flynn, Andrew Butterfield, editors, 2nd Irish Workshop on Formal Methods, Cork, Eire, 2-3 July 1998. Workshops in Computing, BCS, 1998.
Abstract is missing.