devlibrary

Software Foundations Vol 4: QuickChick: Property-Based Testing in Coq

by Leonidas Lampropoulos , Benjamin C Pierce
Property based testing Coq Software engineering
Read online