Registered user since Sun 4 Feb 2024
Name:Yoel Kim
Country:South Korea
Affiliation:Kyungpook National University
Personal website: https://yoelkim99.github.io/
Research interests:Model Checking, Automata Learning, Embedded Software
Contributions
Using general profile