Modular Verification of Static Class Invariants.

K. Rustan M. Leino, Peter Mller

Browse the full FM paper archive.