Random testing in Isabelle/HOL. In: (2004)

by S Berghofer, T Nipkow
Venue:SEFM ’04: Proc. of the Software Engineering and Formal Methods, Second International Conference. IEEE Computer Society