Thomas Ball

Identifiers

No identifiers captured yet.

Papers (2)

1. Monotonically controlled integrals math.CA · 2017 · author #1
2. Predicate Abstraction via Symbolic Decision Procedures cs.LO · 2006 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Byron Cook 1 shared papers
• David Preiss 1 shared papers
• Shuvendu K. Lahiri 1 shared papers