证明代码重构后程序正确性的一种方法

证明代码重构后程序正确性的一种方法

罗婷，郭渊博，郝耀辉，李虎

通信学报 . 2011, (11A): 21 -157 .

期刊网站版权所有 © 2021 《通信学报》编辑部
地址：北京市丰台区东铁匠营街道顺八条1号院B座“北阳晨光大厦”2层邮编：100079
电话：010-53878169、53859522、53878236 电子邮件：xuebao@ptpress.com.cn; txxb@bjxintong.com.cn

期刊网站版权所有 © 2021 《通信学报》编辑部
地址：北京市丰台区东铁匠营街道顺八条1号院B座“北阳晨光大厦”2层
邮编：100079 电话：010-53878169、53859522、53878236
电子邮件：txxb@bjxintong.com.cn