|
个人信息Personal Information
教授
性别：女
毕业院校：西安电子科技大学
学历：博士研究生毕业
学位：博士研究生毕业
在职信息：在岗
所在单位：基础科研与能力建设部
双肩挑单位： 计算机科学与技术学院
入职时间：2009-07-01
学科：软件工程. 计算机软件与理论
扫描关注
研究领域
暂无内容
- Duan, Zhenhua^Tian, Cong^Zhang, Nan,A canonical form based decision procedure and model checking approach for propositional projection temporal logic:THEORETICAL COMPUTER SCIENCE,2016,609:544-560
- Duan, Zhao ; Tian, Cong ; Duan, Zhenhua ,CEGAR based null-pointer dereference checking in C programs:Jisuanji Yanjiu yu Fazhan/Computer Research and Development,2016,53(1):155-164
- 暂无内容
- 暂无内容
- 暂无内容