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

Show activities from other conferences

POPL 2018-profile
View general profile