Application of model checking technology to automatically vulnerabilities finding in software

被引：0

作者：

College of Computer Science and Technology, Huazhong University of Science and Technology, Wuhan 430074, China ^{[1
]}

不详 ^{[2
]}

不详 ^{[3
]}

机构：

来源：

Huazhong Ligong Daxue Xuebao | 2008年 / 2卷 / 70-73期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用