Automated Repair of Programs with Contracts
- Speaker：Dr. Yu Pei
- Time：2018-11-30（Fri.）16:20-18:10
- Location：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
Address：Office 444A, South Tower, CoE Building,SUSTech,1088 Xueyuan Avenue, Nanshan District, Shenzhen 518055, P.R. China