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

Show activities from other conferences

ECOOP and ISSTA 2023-profile
View general profile