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