CITATION STYLE
Claessen, K., Runciman, C., Chitil, O., Hughes, J., & Wallace, M. (2004). Testing and tracing lazy functional programs using QuickCheck and Hat. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2638, 59–99. https://doi.org/10.1007/978-3-540-44833-4_3
Mendeley helps you to discover research relevant for your work.