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:23 - 8 self