Anthony Finkelstein. Making formal specifications dynamic objects. In Mark Dowson, editor, Proceedings of the Third International Software Process Workshop (ISPW 86), November 1986, Beckenridge, Colorado, USA. pages 133-136, IEEE Computer Society, 1986.
@inproceedings{Finkelstein86, title = {Making formal specifications dynamic objects}, author = {Anthony Finkelstein}, year = {1986}, tags = {meta-model, Meta-Environment, meta-objects}, researchr = {https://researchr.org/publication/Finkelstein86}, cites = {0}, citedby = {0}, pages = {133-136}, booktitle = {Proceedings of the Third International Software Process Workshop (ISPW 86), November 1986, Beckenridge, Colorado, USA}, editor = {Mark Dowson}, publisher = {IEEE Computer Society}, }