Proving termination of programs automatically with AProVE

J. Giesl, M. Brockschmidt, F. Emmes, F. Frohn, C. Fuhs, C. Otto, M. Plücker, P. Schneider-Kamp, T. Ströder, S. Swiderski, R. Thiemann

Publikation: Bog/antologi/afhandling/rapportBogForskningpeer review

OriginalsprogEngelsk
DOI
StatusUdgivet - 2014

Citer dette

Giesl, J., Brockschmidt, M., Emmes, F., Frohn, F., Fuhs, C., Otto, C., ... Thiemann, R. (2014). Proving termination of programs automatically with AProVE. https://doi.org/10.1007/978-3-319-08587-6_13
Giesl, J. ; Brockschmidt, M. ; Emmes, F. ; Frohn, F. ; Fuhs, C. ; Otto, C. ; Plücker, M. ; Schneider-Kamp, P. ; Ströder, T. ; Swiderski, S. ; Thiemann, R. / Proving termination of programs automatically with AProVE. 2014.
@book{89ebd216e12f4291b73d89b62147f480,
title = "Proving termination of programs automatically with AProVE",
author = "J. Giesl and M. Brockschmidt and F. Emmes and F. Frohn and C. Fuhs and C. Otto and M. Pl{\"u}cker and P. Schneider-Kamp and T. Str{\"o}der and S. Swiderski and R. Thiemann",
year = "2014",
doi = "10.1007/978-3-319-08587-6_13",
language = "English",

}

Giesl, J, Brockschmidt, M, Emmes, F, Frohn, F, Fuhs, C, Otto, C, Plücker, M, Schneider-Kamp, P, Ströder, T, Swiderski, S & Thiemann, R 2014, Proving termination of programs automatically with AProVE. https://doi.org/10.1007/978-3-319-08587-6_13

Proving termination of programs automatically with AProVE. / Giesl, J.; Brockschmidt, M.; Emmes, F.; Frohn, F.; Fuhs, C.; Otto, C.; Plücker, M.; Schneider-Kamp, P.; Ströder, T.; Swiderski, S.; Thiemann, R.

2014.

Publikation: Bog/antologi/afhandling/rapportBogForskningpeer review

TY - BOOK

T1 - Proving termination of programs automatically with AProVE

AU - Giesl, J.

AU - Brockschmidt, M.

AU - Emmes, F.

AU - Frohn, F.

AU - Fuhs, C.

AU - Otto, C.

AU - Plücker, M.

AU - Schneider-Kamp, P.

AU - Ströder, T.

AU - Swiderski, S.

AU - Thiemann, R.

PY - 2014

Y1 - 2014

UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-84958524355&partnerID=MN8TOARS

U2 - 10.1007/978-3-319-08587-6_13

DO - 10.1007/978-3-319-08587-6_13

M3 - Book

BT - Proving termination of programs automatically with AProVE

ER -

Giesl J, Brockschmidt M, Emmes F, Frohn F, Fuhs C, Otto C et al. Proving termination of programs automatically with AProVE. 2014. https://doi.org/10.1007/978-3-319-08587-6_13