@inproceedings{AlbertAGPZ08c,
author = {E.~Albert and P.~Arenas and S.~Genaim and G.~Puebla and D.~Zanardini},
title = {{\sc COSTA}: {D}esign and {I}mplementation of a {C}ost and {T}ermination {A}nalyzer for {J}ava {B}ytecode},
booktitle = {Software Technologies Concertation on
Formal Methods for Components and Objects (FMCO'07)},
publisher = {Springer-Verlag},
series = {LNCS},
number = {5382},
pages = {113--132},
projects = {MERIT,PROMESAS},
butype = {inproceedings},
year = {2008}
}