Auflistung nach Autor "Stahlbauer, Andreas"
Anzeige der Dokumente 1-3 von 3
-
Precision reuse in CPAchecker
Beyer, Dirk; Löwe, Stefan; Novikov, Evgeny; Stahlbauer, Andreas; Wendler, Philipp
41-42 -
Testing Scratch Programs Automatically
Stahlbauer, Andreas; Kreis, Marvin; Fraser, Gordon
139--140 -
Verification Witnesses
Beyer, Dirk; Dangl, Matthias; Dietsch, Daniel; Heizmann, Matthias; Stahlbauer, Andreas
105-106