@inproceedings{jvm-by-pe-svv06,
author = {E.~Albert and M.~G\'{o}mez-Zamalloa and L.~Hubert and G.~Puebla},
booktitle = {International Workshop on Software Verification and Validation (SVV 2006)},
month = {August},
npages = {15},
title = {Towards {V}erification of {J}ava {B}ytecode using {T}ools for {L}ogic {P}rogramming},
projects = {MERIT,PROMESAS},
butype = {workshop},
year = {2006}
}