*Result*: Termination Graphs for Java Bytecode

Termination Graphs for Java Bytecode
Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday

Brockschmidt, M., Otto, C., von Essen, C., Giesl, J.

LECTURE NOTES IN COMPUTER SCIENCE. (6463):17-37

http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCRN282365236&indx=1&recIds=ETOCRN282365236

British Library Document Supply Centre Inside Serials & Conference Proceedings