"Tactic Program-Based Testing and Bounded Verification in Isabelle/HOL."

Chantal Keller (2018)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics