Nitpick: A Counterexample Generator for Isabelle/HOL Based on the Relational Model Finder Kodkod.
['Jasmin Christian Blanchette']
Nitpick: A Counterexample Generator for Isabelle/HOL Based on the Relational Model Finder Kodkod.