A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs

Tiago Massoni, Rohit Gheyi, Paulo Borba
2008
Type
Journal article
Publication
Electronic Notes in Theoretical Computer Science
comments powered by Disqus