Originalsprog | Engelsk |
---|
DOI | |
---|---|
Status | Udgivet - 2014 |
Citer dette
}
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 -