Modular Verification of Object-Based Programs | Publicación