Typestate-like analysis of multiple interacting objects (0)

by N A Naeem, O Lhotak
Venue:in OOPSLA, 2008