新闻公告

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

海报