Login / Signup
Kyungmin Bae
ORCID
Publication Activity (10 Years)
Years Active: 2009-2024
Publications (10 Years): 28
Top Topics
Execution Environment
Model Checking
Temporal Logic
Formal Specification
Top Venues
Sci. Comput. Program.
FTSCS
WRLA
CoRR
</>
Publications
</>