|国家科技期刊平台
| 注册
首页|期刊导航|数字技术与应用|合成规则在程序正确性验证中的应用

合成规则在程序正确性验证中的应用

薛栋梁

数字技术与应用Issue(1)：40-41,2.
✕
数字技术与应用Issue(1)：40-41,2.

合成规则在程序正确性验证中的应用

薛栋梁1

作者信息

  • 1. 南京师范大学泰州学院,江苏泰州,225300
  • 折叠

摘要

关键词

合成规则/程序正确性证明/初始断言/终结断言

分类

信息技术与安全科学

引用本文复制引用

薛栋梁..合成规则在程序正确性验证中的应用[J].数字技术与应用,2009,(1):40-41,2.

数字技术与应用

1007-9416

访问量0
|
下载量0
段落导航相关论文