International Conference on Computer-Aided Verification, page. 491 - 504, 2021-07-22
한국 소프트웨어공학 학술대회, 2023-02-10