TY  - RPRT
TI  - Verification of Java Bytecode using Analysis and Transformation of Logic Programs
AU  - Elvira Albert
AU  - Miguel Gómez-Zamalloa
AU  - Laurent Hubert
AU  - German Puebla
PY  - 2010
DO  - 10.1007/978-3-540-69611-7_8
UR  - https://arxiv.org/abs/1007.3250
ID  - 1007.3250
ER  -