Formal Model-Driven Program Refactoring.

Tiago Massoni, Rohit Gheyi, Paulo Borba

Browse the full FASE paper archive.