李晓红
- 教师名称：李晓红
- 教师拼音名称：XiaoHong Li
- 性别：女
- 职务：Dean of Computer and Information Technology Dept.
- 职称：教授
其他联系方式
- 邮编：
- 传真：
- 通讯/办公地址：
- 邮箱：
82. Xie X, Chen B, Liu Y, et al. Proteus: computing disjunctive loop summary via path dependency analysis[C]//Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering. ACM, 2016: 61-72.
点击次数:
是否译文:否
上一条:83. Li X, Zhang C, Hao J, et al. Socially-Aware Multiagent Learning: Towards Socially Optimal Outcomes[C]//ECAI. 2016: 533-541. 下一条:81. Geng S, Li X, Feng Z, et al. Web Application Architecture Security Evaluation Method Based on AADL[C]// International Conference on Engineering of Complex Computer Systems. IEEE, 2016:186-189. (CCF C类会议). Gold Coast, Australia, 2015/12/9—2015/12/11