%0 Book Section %1 Claessen2003 %A Claessen, Koen %A Hughes, John %B The Fun of Programming, Cornerstones of Computing %C Houndmills, England %D 2003 %E Gibbons, Jeremy %E de Moor, Oege %I Palgrave %K imported %P 17--40 %T Specification Based Testing with QuickCheck

@incollection{Claessen2003, added-at = {2013-01-31T08:56:22.000+0100}, address = {Houndmills, England}, author = {Claessen, Koen and Hughes, John}, biburl = {https://www.bibsonomy.org/bibtex/24ae36d71378997ed4246c33a6fc89ba9/concarde}, booktitle = {The Fun of Programming, Cornerstones of Computing}, editor = {Gibbons, Jeremy and de Moor, Oege}, interhash = {868363dbb8364f9b6060d2efad862d75}, intrahash = {4ae36d71378997ed4246c33a6fc89ba9}, keywords = {imported}, pages = {17--40 }, publisher = {Palgrave}, series = {Cornerstones of Computing}, timestamp = {2013-01-31T08:56:25.000+0100}, title = {Specification Based Testing with {QuickCheck}}, year = 2003 }