HipSpec: Automating Inductive Proofs of Program Properties.

Koen Claessen, Moa Johansson, Dan Rosn, Nicholas Smallbone

Browse the full CADE paper archive.