计算机与现代化Issue(3)：184-187,4.DOI:10.3969/j.issn.1006-2475.2010.03.052
一种区间型程序不变量检测方法
Method for Interval-based Program Invariant Detection
陈才1
作者信息
- 1. 南华大学计算机科学与技术学院,湖南,衡阳,421001
- 折叠
摘要
关键词
程序不变量/静态分析/图形化方法分类
信息技术与安全科学引用本文复制引用
陈才..一种区间型程序不变量检测方法[J].计算机与现代化,2010,(3):184-187,4.
