Software Foundations, Volume 4: QuickChick: Property-Based Testing in Coq by Leonidas Lampropoulos, Benjamin C. Pierce
Software Foundations, Volume 4: QuickChick: Property-Based Testing in Coq
—
Leonidas Lampropoulos, Benjamin C. Pierce
Add cover

Software Foundations, Volume 4: QuickChick: Property-Based Testing in Coq

Software Foundations #4

Leonidas Lampropoulos, Benjamin C. Pierce

missing page info Add in missing page information • first pub 1873 (editions)

informative medium-paced
Powered by AI (Beta)
Loading...

Community Reviews

Loading...

Content Warnings

Loading...