天津大学教师个人主页系统李晓红 101. Xie X, Chen B, Zou L, et al. Loopster: static loop termination analysis[C]//Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering. ACM, 2017: 84-94. 中文主页

李晓红

教师名称：李晓红
教师拼音名称：XiaoHong Li
性别：女
职务：Dean of Computer and Information Technology Dept.
职称：教授

其他联系方式

邮编：
传真：
通讯/办公地址：
邮箱：

论文成果

101. Xie X, Chen B, Zou L, et al. Loopster: static loop termination analysis[C]//Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering. ACM, 2017: 84-94.

点击次数:

是否译文:否

下一条:100. Shuxin Li, Xiaohong Li, Jianye Hao*, Bo An, Zhiyong Feng, Kangjie chen, Chengwei Zhang. Defending against man-in-the-middle attack in repeated games ， Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI17): 2017