| Original language | Undefined/Unknown |
|---|---|
| Pages | 59--99 |
| Publication status | Published - 1 Feb 2003 |
Testing and Tracing Lazy Functional Programs using QuickCheck and Hat
K. Claessen, C. Runciman, O. Chitil, R. J. M. Hughes, M. Wallace
Research output: Contribution to conference › Paper › peer-review