Kevin Bierhoff, Jonathan Aldrich. Modular typestate checking of aliased objects. In Richard P. Gabriel, David F. Bacon, Cristina Videira Lopes, Guy L. Steele Jr., editors, Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada. pages 301-320, ACM, 2007. [doi]
@inproceedings{BierhoffA07,
title = {Modular typestate checking of aliased objects},
author = {Kevin Bierhoff and Jonathan Aldrich},
year = {2007},
doi = {10.1145/1297027.1297050},
url = {http://doi.acm.org/10.1145/1297027.1297050},
tags = {model checking, meta-model, Meta-Environment, meta-objects},
researchr = {https://researchr.org/publication/BierhoffA07},
cites = {0},
citedby = {0},
pages = {301-320},
booktitle = {Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada},
editor = {Richard P. Gabriel and David F. Bacon and Cristina Videira Lopes and Guy L. Steele Jr.},
publisher = {ACM},
isbn = {978-1-59593-786-5},
}