Marc Brockschmidt, Carsten Otto, Christian von Essen, Jürgen Giesl. Termination Graphs for Java Bytecode. In Simon Siegler, Nathan Wasser, editors, Verification, Induction, Termination Analysis - Festschrift for Christoph Walther on the Occasion of His 60th Birthday. Volume 6463 of Lecture Notes in Computer Science, pages 17-37, Springer, 2010. [doi]
Abstract is missing.