Bibtex:AProVE14

BibTex

@inproceedings{AProVE14,
 author        = {Giesl, J\"urgen and
                  Brockschmidt, Marc and
                  Emmes, Fabian and
                  Frohn, Florian and
                  Fuhs, Carsten and
                  Otto, Carsten and
                  Pl\"ucker, Martin and
                  Schneider-Kamp, Peter and
                  Str\"oder, Thomas and
                  Swiderski, Stephanie and
                  Thiemann, Ren\'e},
 title         = "Proving Termination of Programs Automatically with \textsf{AProVE}",
 booktitle     = "Proc.\ IJCAR~'14",
 year          = {2014},
 series    = {LNAI},
 note = {To appear.},
 publisher     = {Springer},
}
</bibtex>