主讲人：邓燚 研究员
联系人：高丽丽
联系方式：010-82546393
开始时间：2019-06-12 19:00:00
结束时间：2019-05-05 21:00:00
内容：
|
首页>重要时间事件
【安全性归约/证明技术前沿讲座之五】超越通用归约方法
地点：雁栖湖校区，教1-223
主讲人：邓燚 研究员 联系人：高丽丽 联系方式：010-82546393 开始时间：2019-06-12 19:00:00 结束时间：2019-05-05 21:00:00 内容： |
© 2013 中国科学院大学 版权所有 地址：北京市石景山区玉泉路19号（甲） 邮编：100049 京ICP备07017956号 | 
京公网安备 11010702001635号
京公网安备 11010702001635号