APLAS 2019 (series) / Long H. Pham
Not registered as user yet
Name:Long H. Pham
Affiliation:Singapore University of Technology and Design
Contributions
APLAS 2019 | Compositional Verification of Heap-Manipulating Programs through Property-Guided Learning | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
APLAS 2019-profile
View general profile
View general profile