现代信息科技2022，Vol.6Issue(7)：P.26-28,31,4.DOI:10.19850/j.cnki.2096-4706.2022.07.006
基于雷达软件安全的C程序到形式模型的转换方法
臧伟旺 1朱健1
作者信息
- 1. 南京电子技术研究所,江苏南京210039
- 折叠
摘要
关键词
软件安全/C程序/一阶逻辑/形式模型分类
信息技术与安全科学引用本文复制引用
臧伟旺,朱健..基于雷达软件安全的C程序到形式模型的转换方法[J].现代信息科技,2022,6(7):P.26-28,31,4.
