%0 Generic
%T Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic
%A Ströder, Thomas
%A Giesl, Jürgen
%A Brockschmidt, Marc
%A Frohn, Florian
%A Fuhs, Carsten
%A Hensel, Jera
%A Schneider-Kamp, Peter
%A Aschermann, Cornelius
%I Springer Science and Business Media LLC
%@ 0168-7433
%@ 1573-0670
%K Artificial Intelligence
%K Computational Theory and Mathematics
%K Software
%D 2017
%C Springer Science and Business Media LLC
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation