%0 Conference Paper %1 conf/icfp/ClaessenH00 %A Claessen, Koen %A Hughes, John %B ICFP %D 2000 %E Odersky, Martin %E Wadler, Philip %I ACM %K %P 268-279 %T QuickCheck: a lightweight tool for random testing of Haskell programs. %U http://dblp.uni-trier.de/db/conf/icfp/icfp2000.html#ClaessenH00 %@ 1-58113-202-6

@inproceedings{conf/icfp/ClaessenH00, added-at = {2023-12-12T23:02:15.000+0100}, author = {Claessen, Koen and Hughes, John}, biburl = {https://www.bibsonomy.org/bibtex/2041b48bad627384c764e8968568615fc/admin}, booktitle = {ICFP}, crossref = {conf/icfp/2000}, editor = {Odersky, Martin and Wadler, Philip}, ee = {https://doi.org/10.1145/351240.351266}, interhash = {517258f274fb7640ec4d769668b318b0}, intrahash = {041b48bad627384c764e8968568615fc}, isbn = {1-58113-202-6}, keywords = {}, note = {SIGPLAN Notices 35(9), September 2000}, pages = {268-279}, publisher = {ACM}, timestamp = {2023-12-12T23:02:15.000+0100}, title = {QuickCheck: a lightweight tool for random testing of Haskell programs.}, url = {http://dblp.uni-trier.de/db/conf/icfp/icfp2000.html#ClaessenH00}, year = 2000 }