A Formal Approach to Checking Consistency in Software Refactoring

Hong Anh Le, Thi-Huong Dao, Ninh-Thuan Truong. A Formal Approach to Checking Consistency in Software Refactoring. MONET, 22(2):356-366, 2017. [doi]

Abstract

Abstract is missing.