22483 | VMCAI 2024 : 25st International Conference on Verification, Model Checking, and Abstract Interpretat | ||
---|---|---|---|
°³ÃÖÀÏÀÚ | 2024/01/15-16 | ±¹³»/±¹¿Ü | ±¹¿Ü |
ȨÆäÀÌÁö | https://popl24.sigplan.org/home/VMCAI-2024 | Àå ¼Ò | London, United Kingdom |
VMCAI 2024 : 25st International Conference on Verification, Model Checking, and Abstract Interpretation January 15-16, 2024 London, United Kingdom |
Copyright(c) Computer Science Engineering Research Information Center. All rights reserved.