conf.researchr.org / 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
Registered user since Fri 30 Sep 2022
Contributions