SPLASH 2024 (series) / Shaobo He
Registered user since Fri 30 Sep 2022
Name:Shaobo He
Country:United States
Affiliation:Amazon Web Services
Research interests:Formal Methods, Software Verification
Contributions
SPLASH 2024-profile
View general profile
View general profile