The WhyRel Prototype for Modular Relational Verification of Pointer Programs | Publicación