Terence J. Harmer, Patrick J. McParland, James M. Boyle. Applications of the TAMPR Transformation System. 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.