田聪
个人信息:Personal Information
教授
性别:女
毕业院校:西安电子科技大学
学历:博士研究生毕业
学位:博士学位
在职信息:在岗
所在单位:计算机科学与技术学院
学科:软件工程 计算机软件与理论
扫描关注
- [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
|