@inproceedings{slicing-cost-sac08,
author = {E.~Albert and P.~Arenas and S.~Genaim and G.~Puebla and D.~Zanardini},
title = {Removing {U}seless {V}ariables in {C}ost {A}nalysis of {J}ava {B}ytecode},
booktitle = {ACM SAC - Software Verification Track (SV08)},
month = {March},
address = {Fortaleza, Brasil},
publisher = {ACM Press, New York},
pages = {368--375},
projects = {MERIT,PROMESAS},
butype = {inproceedings},
year = {2008}
}