Auflistung nach Autor:in "Wendler, Philipp"
1 - 2 von 2
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragPrecision reuse in CPAchecker(Software Engineering 2014, 2014) Beyer, Dirk; Löwe, Stefan; Novikov, Evgeny; Stahlbauer, Andreas; Wendler, Philipp
- KonferenzbeitragTowards Practical Predicate Analysis(Ausgezeichnete Informatikdissertationen 2017, 2018) Wendler, Philipp