Random testing in isabelle/hol (2004)

by Stefan Berghofer , Tobias Nipkow , Technische Universität München
Venue:Software Engineering and Formal Methods (SEFM 2004
Citations:41 - 2 self