A model-driven approach to formal refactoring.

Tiago Massoni, Rohit Gheyi, Paulo Borba

Browse the full OOPSLA paper archive.