A Coq Framework For Verified Property-Based Testing (part of QuickChick) Cătălin Hrițcu INRIA Paris-Rocquencourt - Catalin - Document - PDFSEARCH.IO

First Page	Meta Content
	A Coq Framework For Verified Property-Based Testing (part of QuickChick) Cătălin Hrițcu INRIA Paris-Rocquencourt Add to Reading List Document Date: 2014-10-21 15:40:50 Open Document File Size: 1,40 MB Share Result on Facebook

A Coq Framework For Verified Property-Based Testing (part of QuickChick) Cătălin Hrițcu INRIA Paris-RocquencourtAdd to Reading List