Method verifying the correctness of code refactoring program
Ting LUO,Yuan-bo GUO,Yao-hui HAO,Hu LI
Journal on Communications . 2011, (11A): 152 -157 .  DOI: 1000-436X(2011)11A-0152-06