Registered user since Sun 4 Feb 2024
Name:Yoel Kim
Country:South Korea
Affiliation:Kyungpook National University
Research interests:Model Checking, Program Synthesis
Contributions
FSE 2024-profile
View general profile
View general profile
- Attending
- Program
- Tracks
- Organization
- SSBSE 2024 Committees
- Organizing Committee
- Steering Committee
- Track Committees
- Research Papers
- RENE/NIER
- SSBSE Challenge
- Hot off the Press
- Contributors
- People Index
- Search
- Series
- Series
- SSBSE 2024
- SSBSE 2023
- SSBSE 2022
- SSBSE 2021