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

by CHASE
Venue:In VMCAI 2003: Proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation