By: Leonidas Lampropoulos   Benjamin C Pierce  

Tags: Software engineering   Property based testing   Coq  

Read online