Yeonwoo Nam -

Registered user since Wed 21 May 2025

Name:Yeonwoo Nam

Country:South Korea

Affiliation:Seoul National University

Research interests:Formal verification

Contributions