NASA Formal Methods 2023 (series) / Aaron Tomb
Registered user since Sun 8 Jan 2017
Name:Aaron Tomb
Country:United States
Affiliation:Amazon Web Services
GitHub: https://github.com/atomb
Research interests:Verification, Formal Methods, Program Analysis
Contributions
NASA Formal Methods 2023-profile
View general profile
View general profile