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

Software Foundations #4

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

Leonidas Lampropoulos , Benjamin C. Pierce

No ratings yet

English · eBook

Rate this book

Export Book Journal

Reviews

No reviews yet

Be the first to review this book and share your thoughts

Sign In to Review

Rate this book

Export Book Journal