Leonidas Lampropoulos

1 book

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

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

Software Foundations #4

Leonidas Lampropoulos, Benjamin C. Pierce

missing page info • first pub 1873 (editions)

informative medium-paced