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

by J R Kiniry, P Chalin, C Hurlin
Venue:In Verified Software: Theories, Tools, Experiments, volume 4171 of Lecture Notes in Computer Science