| |
| 2000 | ||
|---|---|---|
| 4 | EE | R. D. Arthan, P. Caseley, Colin O'Halloran, Alf Smith: ClawZ: Control Laws in Z. ICFEM 2000: 169-176 |
| 1999 | ||
| 3 | EE | Colin O'Halloran, Alf Smith: Verification of Picture Generated Code. ASE 1999: 127-136 |
| 1998 | ||
| 2 | EE | Colin O'Halloran, Alf Smith: Don't Verify, Abstract! ASE 1998: 53-62 |
| 1991 | ||
| 1 | Alf Smith: On Recursive Free Types in Z. Z User Workshop 1991: 3-39 | |
| 1 | R. D. Arthan | [4] |
| 2 | P. Caseley | [4] |
| 3 | Colin O'Halloran | [2] [3] [4] |