a static checker for JML’s assignable clause (2003)

by ChAsE
Venue:In Proc. 4th International Conference on Verification, Model Checking and Abstract Interpretation, volume 2575 of LNCS