%0 Journal Article %1 journals/monet/LeDT17 %A Le, Hong Anh %A Dao, Thi-Huong %A Truong, Ninh-Thuan %D 2017 %J Mob. Networks Appl. %K %N 2 %P 356-366 %T A Formal Approach to Checking Consistency in Software Refactoring. %U http://dblp.uni-trier.de/db/journals/monet/monet22.html#LeDT17 %V 22

@article{journals/monet/LeDT17, added-at = {2023-12-12T21:13:53.000+0100}, author = {Le, Hong Anh and Dao, Thi-Huong and Truong, Ninh-Thuan}, biburl = {https://www.bibsonomy.org/bibtex/27d198623f131b5a52cc39583fc534e3e/admin}, ee = {https://doi.org/10.1007/s11036-017-0807-z}, interhash = {3b1002be910ad84efbd888971b3114d5}, intrahash = {7d198623f131b5a52cc39583fc534e3e}, journal = {Mob. Networks Appl.}, keywords = {}, number = 2, pages = {356-366}, timestamp = {2023-12-12T21:13:53.000+0100}, title = {A Formal Approach to Checking Consistency in Software Refactoring.}, url = {http://dblp.uni-trier.de/db/journals/monet/monet22.html#LeDT17}, volume = 22, year = 2017 }