Verifying Multi-object Invariants with Relationships.

Stephanie Balzer, Thomas R. Gross

Browse the full ECOOP paper archive.