John Field, Deepak Goyal, Ganesan Ramalingam, Eran Yahav. Typestate Verification: Abstraction Techniques and Complexity Results. In Radhia Cousot, editor, Static Analysis, 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003, Proceedings. Volume 2694 of Lecture Notes in Computer Science, pages 439-462, Springer, 2003. [doi]
Abstract is missing.