Termination graphs for Java Bytecode (2010)

by M Brockschmidt, C Otto, C von Essen, J Giesl
Venue:In Verification, Induction, Termination Analysis. LNAI