Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers. A Unified Framework for Verification Techniques for Object Invariants. In Jan Vitek, editor, ECOOP 2008 - Object-Oriented Programming, 22nd European Conference, Paphos, Cyprus, July 7-11, 2008, Proceedings. Volume 5142 of Lecture Notes in Computer Science, pages 412-437, Springer, 2008. [doi]
No references recorded for this publication.
No citations of this publication recorded.