Registered user since Sun 8 Jan 2017
Name:Aaron Tomb
Country:United States
Affiliation:Amazon Web Services
Research interests:Verification, Formal Methods, Program Analysis
Contributions
ECOOP and ISSTA 2023-profile
View general profile
View general profile