Termination Analysis of Java Bytecode (2008)

by E Albert, P Arenas, M Codish, S Genaim, G Puebla, D Zanardini
Venue:In FMOODS