Thomas C. Hales

Publication Activity (10 Years)

Years Active: 1993-2020
Publications (10 Years): 1

Top Topics

Linear Inequalities

Automated Verification

Top Venues

NASA Formal Methods

Publications