Qing Yi, Jianwei Niu, Anitha R. Marneni. Collective Specification and Verification of Behavior Models and Object-oriented Implementations. In María José Escalona Cuaresma, Boris Shishkov, José Cordeiro, editors, ICSOFT 2011 - Proceedings of the 6th International Conference on Software and Data Technologies, Volume 2, Seville, Spain, 18-21 July, 2011. pages 15-24, SciTePress, 2011.
@inproceedings{YiNM11-0,
title = {Collective Specification and Verification of Behavior Models and Object-oriented Implementations},
author = {Qing Yi and Jianwei Niu and Anitha R. Marneni},
year = {2011},
researchr = {https://researchr.org/publication/YiNM11-0},
cites = {0},
citedby = {0},
pages = {15-24},
booktitle = {ICSOFT 2011 - Proceedings of the 6th International Conference on Software and Data Technologies, Volume 2, Seville, Spain, 18-21 July, 2011},
editor = {María José Escalona Cuaresma and Boris Shishkov and José Cordeiro},
publisher = {SciTePress},
isbn = {978-989-8425-77-5},
}