Browsing "COMPUTER SCIENCE(소프트웨어학부)" byAuthor김범현
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) |
|---|---|---|
| 2024-03-18 | VConMC: Enabling Consistency Verification for Distributed Systems Using Implementation-Level Model Checkers and Consistency Oracles | 김범현 |
