Login / Signup
Yong-Sok Kim
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Space Time
Temporal Ordering
Formal Specification
Top Venues
Innov. Syst. Softw. Eng.
</>
Publications
</>