Nitpick: A Counterexample Generator for Isabelle/HOL Based on the Relational Model Finder Kodkod (System Description) (2010)

by Jasmin Christian Blanchette