conf.researchr.org / Jaco Geldenhuys

Registered user since Thu 23 Jan 2020

Name:Jaco Geldenhuys
Country:United States
Affiliation:Amazon Web Services
Research interests:Automated Reasoning

Contributions