| |
| 2000 | ||
|---|---|---|
| 4 | EE | David A. Duffy, Jürgen Giesl: Closure Induction in a Z-Like Language. ZB 2000: 471-490 |
| 3 | EE | Ian Toyn, Samuel H. Valentine, David A. Duffy: On Mutually Recursive Free Types in Z. ZB 2000: 59-74 |
| 2 | EE | David A. Duffy, Ian Toyn: Reasoning Inductively about Z Specifications via Unification. ZB 2000: 75-94 |
| 1995 | ||
| 1 | David A. Duffy, Craig MacNish, John A. McDermid, Philip Morris: A Framework for Requirements Analysis Using Automated Reasoning CAiSE 1995: 68-81 | |
| 1 | Jürgen Giesl | [4] |
| 2 | Craig MacNish | [1] |
| 3 | John A. McDermid | [1] |
| 4 | Philip Morris | [1] |
| 5 | Ian Toyn | [2] [3] |
| 6 | Samuel H. Valentine | [3] |