Nitpick: A counterexample generator for higher-order logic based on a relational model finder (Extended Abstract) (2009)

by Jasmin Christian Blanchette , Tobias Nipkow
Venue:IN TAP 2009: SHORT PAPERS, ETH
Citations:22 - 8 self

Document Versions

Nitpick: A counterexample generator for higher-order logic based on a relational model finder (Extended Abstract) –Jasmin Christian Blanchette, Tobias Nipkow — 2009 — IN TAP 2009: SHORT PAPERS, ETH
Nitpick: A counterexample generator for higher-order logic based on a relational model finder –Jasmin Christian Blanchette, Tobias Nipkow — 2010