Graham Hughes, Tevfik Bultan. Interface grammars for modular software model checking. In David S. Rosenblum, Sebastian G. Elbaum, editors, Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2007, London, UK, July 9-12, 2007. pages 39-49, ACM, 2007. [doi]
@inproceedings{HughesB07, title = {Interface grammars for modular software model checking}, author = {Graham Hughes and Tevfik Bultan}, year = {2007}, doi = {10.1145/1273463.1273471}, url = {http://doi.acm.org/10.1145/1273463.1273471}, tags = {model checking, meta-model, Meta-Environment, grammar}, researchr = {https://researchr.org/publication/HughesB07}, cites = {0}, citedby = {0}, pages = {39-49}, booktitle = {Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2007, London, UK, July 9-12, 2007}, editor = {David S. Rosenblum and Sebastian G. Elbaum}, publisher = {ACM}, isbn = {978-1-59593-734-6}, }