Dao, Thi Huong and Le, Hong Anh and Truong, Ninh Thuan (2016) An approach to verifying consistency of software refactoring process. In: SW4PHD: the 2016 Scientific Workshop for PhD Students, 26 March 2016, Hanoi.