采用CPAChecker的动态程序验证
段钊, 刘锟龙
Dynamic program verification via a CPAChecker
DUAN Zhao, LIU Kunlong
西安电子科技大学学报 . 2019, (1): 33 -38 .  DOI: 10.19665/j.issn1001-2400.2019.01.006

　陕ICP备09011600号
版权所有 © 2018 《西安电子科技大学学报》编辑部
地址：西安市太白南路2号349信箱(710071) Tel: (029)88202853 Email:xuebao@mail.xidian.edu.cn
本系统由北京玛格泰克科技发展有限公司设计开发
Baidu
map