Applications of the TAMPR Transformation System

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.

@inproceedings{HarmerMB98:0,
  title = {Applications of the TAMPR Transformation System},
  author = {Terence J. Harmer and Patrick J. McParland and James M. Boyle},
  year = {1998},
  tags = {transformation system, transformation},
  researchr = {https://researchr.org/publication/HarmerMB98%3A0},
  cites = {0},
  citedby = {0},
  booktitle = {2nd Irish Workshop on Formal Methods, Cork, Eire, 2-3 July 1998},
  editor = {Sharon Flynn and Andrew Butterfield},
  series = {Workshops in Computing},
  publisher = {BCS},
}