Analyzing Program Termination and Complexity Automatically with AProVE
Dordrecht [u.a.] / Springer Science + Business Media B.V. (2016, 2017) [Journal Article]
Journal of automated reasoning
Volume: 58
Issue: 1
Page(s): 3-31
Authors
Selected Authors
Giesl, Jürgen
Aschermann, Cornelius
Brockschmidt, Marc
Emmes, Fabian
Frohn, Florian
Other Authors
Fuhs, Carsten
Hensel, Jera
Otto, Carsten
Plücker, Martin
Schneider-Kamp, Peter
Ströder, Thomas
Swiderski, Stephanie
Thiemann, René
Identifier
- DOI: 10.1007/s10817-016-9388-y
- REPORT NUMBER: RWTH-2017-02377