CHASE:A Static Checker for JML’s Assignable Clause

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/3-540-36384-x_6 ◽

2002 ◽

pp. 26-40 ◽

Author(s):

Néstor Cataño ◽

Marieke Huisman

Download Full-text