Proving termination and memory safety for programs with pointer arithmetic

T. Ströder, J. Giesl, M. Brockschmidt, F. Frohn, C. Fuhs, J. Hensel, P. Schneider-Kamp

Publikation: Bog/rapportMonografiForskningpeer review

Citationsformater