Timos Antopoulos

Identifiers

• name variant Timos Antopoulos 0.50 · backfill

Papers (1)

1. A Counterexample-guided Approach to Finding Numerical Invariants cs.SE · 2019 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Andrew Ruef 1 shared papers
• Michael Hicks 1 shared papers
• ThanhVu Nguyen 1 shared papers