A Formal Approach to Checking Consistency in Software Refactoring
Crossref DOI link: https://doi.org/10.1007/s11036-017-0807-z
Published Online: 2017-01-26
Published Print: 2017-04
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Le, Hong Anh
Dao, Thi-Huong
Truong, Ninh-Thuan
License valid from 2017-01-26