Geunyeol Yu

Registered user since Tue 14 Sep 2021

Name:Geunyeol Yu
Country:South Korea
Affiliation:Pohang University of Science and Technology (POSTECH)
Research interests:Model checking, automated reasoning

Contributions