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