(PDF) An Approach for Formal Verification of Updated Java Bytecode Programs

(PDF) An Approach for Formal Verification of Updated Java Bytecode Programs