Aaron Tomb

Publication Activity (10 Years)

Years Active: 2005-2021
Publications (10 Years): 8

Top Topics

Symbolic Reasoning

Formal Verification

Semantic Models

Imperative Programs

Top Venues

Publications