Typestate-like analysis of multiple interacting objects (2008)

by N Naeem, O Lhoták
Venue:In ACM Conference on Object-Oriented Programming, Systems, Languages & Applications