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