证明代码重构后程序正确性的一种方法
罗婷,郭渊博,郝耀辉,李虎
Method verifying the correctness of code refactoring program
Ting LUO,Yuan-bo GUO,Yao-hui HAO,Hu LI
通信学报 . 2011, (11A): 152 -157 .  DOI: 1000-436X(2011)11A-0152-06