Sound Object Model Refactorings

Rohit Gheyi, Paulo Borba
2006
Type
Conference paper
Publication
Doctoral Symposium, afilliated with Formal Methods 2006
comments powered by Disqus