Prover's Palette: A User-Centric Approach to Verification with Isabelle and QEPCAD-B.

Laura I. Meikle, Jacques D. Fleuriot

Browse the full CAV paper archive.