×
模态框（Modal）标题
在这里添加一些文本
关闭
关闭
提交更改
取消
确定并提交
×
模态框（Modal）标题
在这里添加一些文本
关闭
首页
期刊简介
编委会
投稿指南
期刊声明
期刊文章
期刊订阅
联系我们
English
投稿须知
投稿流程
写作规范
收录声明
道德声明
数据隐私
应用系统迁移正确性证明的新方法#br# ——从静态切面数据证明到数据变化过程证明
邓琼, 陈建锋
Anewmethodto prove the correctness of system migration
DENGQiong, CHENJianfeng
信息通信技术与政策 . 2019, (
5
): 28 -32 .
