Books by Leonidas Lampropoulos

1 book

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

by Leonidas Lampropoulos , Benjamin C Pierce

Property based testing Coq Software engineering

Read