"CHASE: A Static Checker for JML's Assignable Clause."

Néstor Cataño, Marieke Huisman (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics