Simon C. Stanton, Vishv M. Malhotra. Model Checking an Object-Oriented Design. In ICEIS (1). pages 605-608, 2004.
@inproceedings{StantonM04,
title = {Model Checking an Object-Oriented Design},
author = {Simon C. Stanton and Vishv M. Malhotra},
year = {2004},
tags = {model checking, meta-model, C++, object-role modeling, Meta-Environment, design, meta-objects},
researchr = {https://researchr.org/publication/StantonM04},
cites = {0},
citedby = {0},
pages = {605-608},
booktitle = {ICEIS (1)},
}