Néstor Cataño, Marieke Huisman. CHASE: A Static Checker for JML s Assignable Clause. In Lenore D. Zuck, Paul C. Attie, Agostino Cortesi, Supratik Mukhopadhyay, editors, Verification, Model Checking, and Abstract Interpretation, 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2002, Proceedings. Volume 2575 of Lecture Notes in Computer Science, pages 26-40, Springer, 2003. [doi]