@inproceedings{jvm-pe-padl07,
author = {E.~Albert and M.~G\'{o}mez-Zamalloa and L.~Hubert and G.~Puebla},
booktitle = {Ninth International Symposium on Practical Aspects of Declarative Languages},
butopics = {anal,debug},
month = {January},
number = {4354},
pages = {124--139},
paper_presentation_city = {Nice},
paper_presentation_country = {France},
publisher = {Springer-Verlag},
series = {LNCS},
title = {{V}erification of {J}ava {B}ytecode using {A}nalysis and {T}ransformation of {L}ogic {P}rograms},
projects = {MOBIUS,MERIT,PROMESAS},
butype = {inproceedings},
year = {2007}
}