SPLASH 2024 (series) / ThanhVu Nguyen
Registered user since Wed 19 Jul 2017
Name:ThanhVu Nguyen
Country:United States
Affiliation:George Mason University
Personal website: https://nguyenthanhvuh.github.io
Research interests:Software Engineering, Programming Languages, Invariant Generation, Program Repair
Contributions
SPLASH 2024-profile
View general profile
View general profile