Not registered as user yet

Name:Jinwoo Kim
Affiliation:University of Wisconsin-Madison

Contributions

POPL 2023 Unrealizability Logic
Show activities from other conferences

Using general profile