Software Foundations, Volume 4: QuickChick: Property-Based Testing in Coq
by Leonidas Lampropoulos
2(1 ratings)
The Software Foundations series is a broad introduction to the mathematical underpinnings of reliable software.QuickChick: Property-Based Testing in Coq introduces tools and t…