Verifying Multi-object Invariants with Relationships

Stephanie Balzer, Thomas R. Gross. Verifying Multi-object Invariants with Relationships. In Mira Mezini, editor, ECOOP 2011 - Object-Oriented Programming - 25th European Conference, Lancaster, UK, July 25-29, 2011 Proceedings. Volume 6813 of Lecture Notes in Computer Science, pages 358-382, Springer, 2011. [doi]

Abstract

Abstract is missing.