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

by E ALBERT, P ARENAS, S GENAIM, G PUEBLA, D ZANARDINI
Venue:In Formal Methods for Components and Objects, FMCO’07