陈意云教授学术报告会顺利举行
2019-09-07
2019年9月5日下午，陈意云教授受邀在计算机学院做题为“安全C语言串行程序的验证系统介绍”的学术报告。
报告录像视频链接：http://wlkt.ustc.tsg211.com/video/detail_5069_0.htm
2019年9月5日下午，陈意云教授受邀在计算机学院做题为“安全C语言串行程序的验证系统介绍”的学术报告。
报告录像视频链接：http://wlkt.ustc.tsg211.com/video/detail_5069_0.htm