Andreas Stahlbauer

Identifiers

• name variant Andreas Stahlbauer 0.60 · backfill

Papers (1)

1. Reusing Precisions for Efficient Regression Verification cs.SE · 2013 · author #4

Mentions

• 1305.6915 #4 · backfill · confidence 0.70 Andreas Stahlbauer

Frequent Coauthors

• Dirk Beyer 1 shared papers
• Evgeny Novikov 1 shared papers
• Philipp Wendler 1 shared papers
• Stefan L\"owe 1 shared papers