Login / Signup
Sung-Shik Jongmans
ORCID
Publication Activity (10 Years)
Years Active: 2012-2024
Publications (10 Years): 34
Top Topics
Unit Testing
Regular Languages
Communication Protocol
Concurrent Programs
Top Venues
CoRR
FM
ISoLA (1)
J. Log. Algebraic Methods Program.
</>
Publications
</>