Registered user since Fri 27 Feb 2015

Name:Ton Chanh Le
Country:Singapore
Affiliation:National University of Singapore
Research interests:Software Verification, Termination, Non-Termination

Contributions

POPL 2018 Automated Lemma Synthesis in Symbolic-Heap Separation Logic
Automated Lemma Synthesis in Symbolic-Heap Separation Logic
Show activities from other conferences

POPL 2018-profile
View general profile