Typestate Verification: Abstraction Techniques and Complexity Results.

John Field, Deepak Goyal, G. Ramalingam, Eran Yahav

Browse the full SAS paper archive.