Nomair A. Naeem, Ondrej Lhoták
Typestate-like analysis of multiple interacting objects
OOPSLA, 2008.
@inproceedings{OOPSLA-2008-NaeemL, author = "Nomair A. Naeem and Ondrej Lhoták", booktitle = "{Proceedings of the 23rd Conference on Object-Oriented Programming, Systems, Languages and Applications}", doi = "10.1145/1449764.1449792", editor = "Gail E. Harris", isbn = "978-1-60558-215-3", pages = "347--366", publisher = "{ACM}", title = "{Typestate-like analysis of multiple interacting objects}", year = 2008, }