A Unified Framework for Verification Techniques for Object Invariants - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Sophia Drossopoulou' in GoogleThis author has not been identified. Look up 'Adrian Francalanza' in GoogleThis author has not been identified. Look up 'Peter Müller' in GoogleThis author has not been identified. Look up 'Alexander J. Summers' in Google

runs on WebDSL