Automated Repair of Programs with Contracts
- 演讲者：Dr. Yu Pei
- 时间：2018-11-30（星期五）16:20-18:10
- 地点：Room 107, Teaching Building 1
Photos please see: http://cse.sustech.edu.cn/cn/news/view/id/650
Photos please see: http://cse.sustech.edu.cn/cn/news/view/id/650
地址：南方科技大学工学院南楼444A办公室