Giesl, J;
Brockschmidt, M;
Emmes, F;
Frohn, F;
Fuhs, C;
Otto, C;
Plücker, M;
... Thiemann, R; + view all
(2014)
Proving Termination of Programs Automatically with AProVE.
In: Demri, S and Kapur, D and Weidenbach, C, (eds.)
Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings.
(pp. 184 - 191).
Springer International Publishing