Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic

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

Journal of automated reasoning
Band: 58
Ausgabe: 1
Seite(n): 33-65

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Ströder, Thomas
Giesl, Jürgen
Brockschmidt, Marc
Frohn, Florian
Fuhs, Carsten

Weitere Autorinnen und Autoren

Hensel, Jera
Schneider-Kamp, Peter
Aschermann, Cornelius

Identifikationsnummern