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

Tiago Massoni, Rohit Gheyi, Paulo Borba
2006
Type
Conference paper
Publication
III Brazilian Symposium on Formal Methods (SBMF 2006)
comments powered by Disqus