![Yoel Kim](https://2024.esec-fse.org/getProfileImage/yoelkim/982d921a-6ad7-4450-b403-206250039ee3/small.jpg?1713347384000)
Registered user since Sun 4 Feb 2024
Name:Yoel Kim
Country:South Korea
Affiliation:Kyungpook National University
Research interests:Model Checking, Program Synthesis
Contributions
Using general profile
Registered user since Sun 4 Feb 2024
Contributions