Smart Testing of Functional Programs in Isabelle (2012)

by L Bulwahn
Venue:In: LPAR 2012. LNCS