Preservation of Proof Obligations from Java to the Java Virtual Machine | Publicación