SPLASH 2027 (series) / David Trabish
Registered user since Mon 12 Feb 2018
Name:David Trabish
Country:Singapore
Affiliation:National University of Singapore
Personal website: https://davidtr1037.github.io/
GitHub: https://github.com/davidtr1037
Research interests:Verification, Program Analysis, Proof Assistants
Contributions
Using general profile