Difference between revisions of "Bibtex:AProVE14"
From Termination-Portal.org
Jump to navigationJump to search (reference to current system description for AProVE) |
(No difference)
|
Revision as of 20:17, 25 May 2014
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}