Modular typestate checking of aliased objects (2007)

by K Bierhoff, J Aldrich
Venue:In Proceedings of OOPSLA ’07