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

Nstor Catao, Marieke Huisman

Browse the full VMCAI paper archive.