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
- AIware 2024 Committees
- Steering Committee
- Organizing Committee
- Track Committees
- Main Track
- Challenge Track
- Industry Statements and Demo Track
- Contributors
- People Index
- Search
- Series
- Series
- AIware 2025
- AIware 2024