APLAS 2024 (series) / Yeonseok Lee
Registered user since Wed 22 May 2024
Name:Yeonseok Lee
Country:Japan
Affiliation:Nagoya University
Research interests:Theory of computation, Logic, Separation logic
Contributions
Using general profile
APLAS 2024
Tue 22 - Fri 25 October 2024 Kyoto