新闻公告

Model Checking in Large-Scale Data Set via Structure-Adaptive-Sampling

演讲者：Dr. Yixin HAN, Hong Kong University of Science and Technology

时间：2022-02-21 10:30-11:30

地点：Room 205, Lychee Hills No.1

海报