Glauber Ferreira, Emerson Loureiro, Elthon A. S. Oliveira. A Java code annotation approach for model checking software systems. In Yookun Cho, Roger L. Wainwright, Hisham Haddad, Sung Y. Shin, Yong Wan Koo, editors, Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007. pages 1536-1537, ACM, 2007. [doi]
@inproceedings{FerreiraLO07,
title = {A Java code annotation approach for model checking software systems},
author = {Glauber Ferreira and Emerson Loureiro and Elthon A. S. Oliveira},
year = {2007},
doi = {10.1145/1244002.1244330},
url = {http://doi.acm.org/10.1145/1244002.1244330},
tags = {Java, model checking, meta-model, Meta-Environment, systematic-approach},
researchr = {https://researchr.org/publication/FerreiraLO07},
cites = {0},
citedby = {0},
pages = {1536-1537},
booktitle = {Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007},
editor = {Yookun Cho and Roger L. Wainwright and Hisham Haddad and Sung Y. Shin and Yong Wan Koo},
publisher = {ACM},
isbn = {1-59593-480-4},
}