Integrating Static Checking and Interactive Verification: Supporting Multiple Theories and Provers in Verification (2005)

by P Chalin, C Hurlin, J Kiniry
Venue:In: Proceedings of Verified Software: Tools, Technologies, and Experiences (VSTTE