Refining Object-Oriented Invariants and Dynamic Constraints.

Jamie Shield, Ian J. Hayes

Browse the full APSEC paper archive.