Analyzing Program Termination and Complexity Automatically with AProVE

Giesl, Jürgen (Corresponding author); Aschermann, Cornelius; Brockschmidt, Marc; Emmes, Fabian; Frohn, Florian; Fuhs, Carsten; Hensel, Jera; Otto, Carsten; Plücker, Martin; Schneider-Kamp, Peter; Ströder, Thomas; Swiderski, Stephanie; Thiemann, René

Dordrecht [u.a.] / Springer Science + Business Media B.V. (2016, 2017) [Fachzeitschriftenartikel]

Journal of automated reasoning
Band: 58
Ausgabe: 1
Seite(n): 3-31

Identifikationsnummern