|
个人信息：Personal Information
教授
性别：女
毕业院校：beoplay体育提现
学历：博士研究生毕业
学位：博士学位
在职信息：在岗
所在单位：计算机科学与技术学院
学科：软件工程 计算机软件与理论
扫描关注
论文成果
当前位置: 中文主页 >> bepaly手机下载 >> 论文成果- [1]A canonical form based decision procedure and model checking approach for propositional projection temporal logic.THEORETICAL COMPUTER SCIENCE.2016,609 :544-560
- [2]CEGAR based null-pointer dereference checking in C programs.Jisuanji Yanjiu yu Fazhan/Computer Research and Development.2016,53 (1):155-164
| |