Verification of Program Properties Using Different Theorem Provers: A Case Study | Publicación