Not registered as user yet

Name: Thanh-Toan Nguyen

Country: Singapore

Affiliation: National University of Singapore

Contributions

VMCAI 2021 Author of Automated Repair of Heap-Manipulating Programs using Deductive Synthesis within the VMCAI-track