Yeonseok Lee - APLAS 2024

Tue 22 - Fri 25 October 2024 Kyoto

Registered user since Wed 22 May 2024

Name:Yeonseok Lee

Country:Japan

Affiliation:Nagoya University

Research interests:Theory of computation, Logic, Separation logic

Contributions

2024

APLAS

Relative Completeness of Incorrectness Separation Logic

Show activities from other conferences

APLAS 2024-profile
View general profile