A Unified Framework for Verification Techniques for Object Invariants.

Sophia Drossopoulou, Adrian Francalanza, Peter Mller, Alexander J. Summers

Browse the full ECOOP paper archive.