Smart Testing of Functional Programs in Isabelle.

Lukas Bulwahn

Browse the full LPAR paper archive.