TY - GEN
AU - Ströder, Thomas
AU - Giesl, Jürgen
AU - Brockschmidt, Marc
AU - Frohn, Florian
AU - Fuhs, Carsten
AU - Hensel, Jera
AU - Schneider-Kamp, Peter
AU - Aschermann, Cornelius
TI - Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic
PB - Springer Science and Business Media LLC
SN - 0168-7433
SN - 1573-0670
KW - Artificial Intelligence
KW - Computational Theory and Mathematics
KW - Software
PY - 2017
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation