Typestate-like analysis of multiple interacting objects (0)

by N A Naeem, O Lhoták
Venue:In Harris [22