Analyzing Program Termination and Complexity Automatically with AProVE

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

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

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Giesl, Jürgen
Aschermann, Cornelius
Brockschmidt, Marc
Emmes, Fabian
Frohn, Florian

Weitere Autorinnen und Autoren

Fuhs, Carsten
Hensel, Jera
Otto, Carsten
Plücker, Martin
Schneider-Kamp, Peter
Ströder, Thomas
Swiderski, Stephanie
Thiemann, René

Identifikationsnummern