Integrating Static Checking and Interactive Verification: Supporting Multiple Theories and Provers in Verification | Publicación