| Original language | Undefined/Unknown |
|---|---|
| Pages | 49--60 |
| Publication status | Published - 2008 |
Not all patterns, but enough: an automatic verifier for partial but sufficient pattern matching
Neil Mitchell, Colin Runciman
Research output: Contribution to conference › Paper