Enrico Steffinlongo

Identifiers

• name variant Enrico Steffinlongo 0.50 · backfill

Papers (2)

1. Beyond k-induction: Learning from Counterexamples to Bidirectionally Explore the State Space cs.LO · 2019 · author #3
2. SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer cs.LO · 2018 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Denis A. Nicole 2 shared papers
• Lucas C. Cordeiro 2 shared papers
• Mikhail R. Gadelha 2 shared papers
• Bernd Fischer 1 shared papers
• Felipe R. Monteiro 1 shared papers