Termination analysis of Java Bytecode (2008)

by E Albert, P Arenas, M Codish, S Genaim, G Puebla, D Zanardini
Venue:In Proc. of the International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS ’08). Lecture Notes in Computer Science