@inproceedings{AlbertAGPZ08b,
author = {E.~Albert and P.~Arenas and S.~Genaim and G.~Puebla and D.~Zanardini},
title = {{COSTA}: {A} {C}ost and {T}ermination {A}nalyzer for {J}ava {B}ytecode},
booktitle = {Proceedings of the Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode)},
series = {Electronic Notes in Theoretical Computer Science},
address = {Budapest, Hungary},
month = {April},
publisher = {Elsevier},
note = {To appear},
projects = {MERIT,PROMESAS},
butype = {workshop},
year = {2008}
}