Tommaso Bolognesi, John Derrick. Constraint-oriented style for object-oriented formal specification. IEE Proceedings - Software, 145(2-3):61-70, 1998.
@article{BolognesiD98,
title = {Constraint-oriented style for object-oriented formal specification},
author = {Tommaso Bolognesi and John Derrick},
year = {1998},
tags = {meta-model, constraints, Meta-Environment, meta-objects},
researchr = {https://researchr.org/publication/BolognesiD98},
cites = {0},
citedby = {0},
journal = {IEE Proceedings - Software},
volume = {145},
number = {2-3},
pages = {61-70},
}