Verification of Java Bytecode Using Analysis and Transformation of Logic Programs.

Elvira Albert, Miguel Gmez-Zamalloa, Laurent Hubert, Germn Puebla

Browse the full PADL paper archive.