Media type: E-Article Title: A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs Contributor: Massoni, Tiago; Gheyi, Rohit; Borba, Paulo Published: Elsevier BV, 2008 Published in: Electronic Notes in Theoretical Computer Science, 195 (2008), Seite 189-209 Language: English DOI: 10.1016/j.entcs.2007.08.033 ISSN: 1571-0661 Keywords: General Computer Science ; Theoretical Computer Science Origination: Footnote: Access State: Open Access