Mangala Gowri Nanda, Christian Grothoff, Satish Chandra
Deriving object typestates in the presence of inter-object references
OOPSLA, 2005.
@inproceedings{OOPSLA-2005-NandaGC,
author = "Mangala Gowri Nanda and Christian Grothoff and Satish Chandra",
booktitle = "{Proceedings of the 20th Conference on Object-Oriented Programming, Systems, Languages and Applications}",
doi = "10.1145/1094811.1094818",
editor = "Ralph E. Johnson and Richard P. Gabriel",
isbn = "1-59593-031-0",
pages = "77--96",
publisher = "{ACM}",
title = "{Deriving object typestates in the presence of inter-object references}",
year = 2005,
}