Decision Making via Model Checking

演讲者:Jin Song DONG
时间:2018-01-05(星期五)14:30-16:00
地点:南山智园A7栋1008室

20180105 jinsong dong.jpg