devlibrary
Categories
/ Coq
Software Foundations Vol 4: QuickChick: Property-Based Testing in Coq
by
Leonidas Lampropoulos
,
Benjamin C Pierce
Property based testing
Coq
Software engineering
Read