Preservation of Proof Pbligations for Hybrid Verification Methods | Publicación