Verification of Java Bytecode Using Analysis and Transformation of Logic Programs | Publicación