@article{{sbes}{}, author = {Massoni, T., Gheyi, R., Borba, P.}, title = { Formal Refactoring for UML Class Diagrams}, journal = {Anais do SimpĆ³sio Brasileiro de Engenharia de Software (SBES)}, year = {2005}, doi = {10.5753/sbes.2005.23817}, url = {https://sol.sbc.org.br/index.php/sbes/article/view/23817} }