| Originalsprog | Engelsk |
|---|
| DOI | |
|---|---|
| Status | Udgivet - 2014 |
Citer dette
Ströder, T., Giesl, J., Brockschmidt, M., Frohn, F., Fuhs, C., Hensel, J., & Schneider-Kamp, P. (2014). Proving termination and memory safety for programs with pointer arithmetic. https://doi.org/10.1007/978-3-319-08587-6_15
@book{9d409e1f5678413d90fd39ad6bab5c87,
title = "Proving termination and memory safety for programs with pointer arithmetic",
author = "T. Str{\"o}der and J. Giesl and M. Brockschmidt and F. Frohn and C. Fuhs and J. Hensel and P. Schneider-Kamp",
year = "2014",
doi = "10.1007/978-3-319-08587-6_15",
language = "English",
}
Ströder, T, Giesl, J, Brockschmidt, M, Frohn, F, Fuhs, C, Hensel, J & Schneider-Kamp, P 2014, Proving termination and memory safety for programs with pointer arithmetic. https://doi.org/10.1007/978-3-319-08587-6_15
Proving termination and memory safety for programs with pointer arithmetic. / Ströder, T.; Giesl, J.; Brockschmidt, M.; Frohn, F.; Fuhs, C.; Hensel, J.; Schneider-Kamp, P.
2014.Publikation: Bog/antologi/afhandling/rapport › Bog › Forskning › peer review
TY - BOOK
T1 - Proving termination and memory safety for programs with pointer arithmetic
AU - Ströder, T.
AU - Giesl, J.
AU - Brockschmidt, M.
AU - Frohn, F.
AU - Fuhs, C.
AU - Hensel, J.
AU - Schneider-Kamp, P.
PY - 2014
Y1 - 2014
UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-84958549765&partnerID=MN8TOARS
U2 - 10.1007/978-3-319-08587-6_15
DO - 10.1007/978-3-319-08587-6_15
M3 - Book
BT - Proving termination and memory safety for programs with pointer arithmetic
ER -
Ströder T, Giesl J, Brockschmidt M, Frohn F, Fuhs C, Hensel J et al. Proving termination and memory safety for programs with pointer arithmetic. 2014. https://doi.org/10.1007/978-3-319-08587-6_15