Synchronizing Model and Program Refactoring

Tiago Massoni, Rohit Gheyi, Paulo Borba. Synchronizing Model and Program Refactoring. In Jim Davies, Leila Silva, Adenilso da Silva Simão, editors, Formal Methods: Foundations and Applications - 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers. Volume 6527 of Lecture Notes in Computer Science, pages 96-111, Springer, 2010. [doi]

Authors

Tiago Massoni

This author has not been identified. Look up 'Tiago Massoni' in Google

Rohit Gheyi

This author has not been identified. Look up 'Rohit Gheyi' in Google

Paulo Borba

This author has not been identified. It may be one of the following persons: Look up 'Paulo Borba' in Google