Richard F. Paige. Case Studies in Using a Meta-Method for Formal Method Integration. In Michael Johnson, editor, Algebraic Methodology and Software Technology, 6th International Conference, AMAST 97, Sydney, Australia, December 13-17, 1997, Proceedings. Volume 1349 of Lecture Notes in Computer Science, pages 395-408, Springer, 1997.
@inproceedings{Paige97:0,
title = {Case Studies in Using a Meta-Method for Formal Method Integration},
author = {Richard F. Paige},
year = {1997},
tags = {case study, meta-model, Meta-Environment, meta-objects},
researchr = {https://researchr.org/publication/Paige97%3A0},
cites = {0},
citedby = {0},
pages = {395-408},
booktitle = {Algebraic Methodology and Software Technology, 6th International Conference, AMAST 97, Sydney, Australia, December 13-17, 1997, Proceedings},
editor = {Michael Johnson},
volume = {1349},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-63888-1},
}