Automatic Proof and Disproof in Isabelle/HOL (2011)

by Jasmin Christian Blanchette , Lukas Bulwahn , Tobias Nipkow
Citations:3 - 1 self

Document Versions

Automatic Proof and Disproof in Isabelle/HOL –Jasmin Christian Blanchette, Lukas Bulwahn, Tobias Nipkow — 2011