![](https://www.pdfsearch.io/img/ebd5b9017848aa681f6986f08f85f3e5.jpg) Date: 2014-05-16 12:11:11
| | Proving Termination and Memory Safety for Programs with Pointer Arithmetic? Thomas Str¨ oder1 , J¨ urgen Giesl1 , Marc Brockschmidt2 , Florian Frohn1 , Carsten Fuhs3 , Jera Hensel1 , and Peter Schneider-Kamp4Add to Reading ListSource URL: www.dcs.bbk.ac.ukDownload Document from Source Website File Size: 459,42 KBShare Document on Facebook
|