Book details
Software Foundations Vol 4: QuickChick: Property-Based Testing in Coq
by Leonidas Lampropoulos , Benjamin C Pierce
Topics: Property based testing , Coq , Software engineering
Book details
by Leonidas Lampropoulos , Benjamin C Pierce
Topics: Property based testing , Coq , Software engineering
We can't find the internet
Attempting to reconnect
Something went wrong!
Attempting to reconnect