Matthias Dangl

Identifiers

• name variant Matthias Dangl 0.60 · backfill

Papers (1)

1. Combining k-Induction with Continuously-Refined Invariants cs.SE · 2015 · author #2

Mentions

• 1502.00096 #2 · backfill · confidence 0.70 Matthias Dangl

Frequent Coauthors

• Dirk Beyer 1 shared papers
• Philipp Wendler 1 shared papers