Bibtex:AProVE14

BibTex

Giesl, J\"urgen, Brockschmidt, Marc, Emmes, Fabian, Frohn, Florian, Fuhs, Carsten, Otto, Carsten, Pl\"ucker, Martin, Schneider-Kamp, Peter, Str\"oder, Thomas, Swiderski, Stephanie, Thiemann, Ren\'e - Proving Termination of Programs Automatically with \textsf{AProVE}

Proceedings IJCAR '14 8562:184-191,2014

Bibtex

Author : Giesl, J\"urgen, Brockschmidt, Marc, Emmes, Fabian, Frohn, Florian, Fuhs, Carsten, Otto, Carsten, Pl\"ucker, Martin, Schneider-Kamp, Peter, Str\"oder, Thomas, Swiderski, Stephanie, Thiemann, Ren\'e
Title : Proving Termination of Programs Automatically with \textsf{AProVE}
In : Proceedings IJCAR '14 -
Address :
Date : 2014