Typestate verification: Abstraction techniques and complexity results (2003)

by J Field, D Goyal, G Ramalingam, E Yahav
Venue:In Proc. of SAS’03, volume 2694 of LNCS