A Rigorous Approach for Proving Model Refactorings

Rohit Gheyi, Tiago Massoni, Paulo Borba
2005
Type
Conference paper
Publication
Automated Software Engineering (ASE 2005)
comments powered by Disqus