Costa: Design and implementation of a cost and termination analyzer for java bytecode (2007)

by E. Albert , P. Arenas , S. Genaim , G. Puebla , D. Zanardini
Venue:of Lecture Notes in Computer Science
Citations:32 - 12 self