Termination Analysis of Java Bytecode

by E. Albert , P. Arenas , M. Codish , S. Genaim , G. Puebla , D. Zanardini
Citations:30 - 15 self