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

演讲人：Yixin HAN

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

地点：Room 205, Lychee Hills No.1