| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2000 | |
|---|---|---|
| 5 |      | David A. Duffy, Jürgen Giesl: Closure Induction in a Z-Like Language. ZB 2000: 471-490 |
| 4 | | Ian Toyn, Samuel H. Valentine, David A. Duffy: On Mutually Recursive Free Types in Z. ZB 2000: 59-74 |
| 3 | | David A. Duffy, Ian Toyn: Reasoning Inductively about Z Specifications via Unification. ZB 2000: 75-94 |
| 1995 | ||
| 2 | | David A. Duffy, Craig MacNish, John A. McDermid, Philip Morris: A Framework for Requirements Analysis Using Automated Reasoning CAiSE 1995: 68-81 |
| 1991 | ||
| 1 |  | David A. Duffy: Principles of automated theorem proving. Wiley 1991: I-XVIII, 1-243 |
| 1 | Jürgen Giesl | [5] |
| 2 | Craig MacNish | [2] |
| 3 | John A. McDermid | [2] |
| 4 | Philip Morris | [2] |
| 5 | Ian Toyn | [3] [4] |
| 6 | Samuel H. Valentine | [4] |
Colors in the list of coauthors
Last update Tue May 29 20:41:18 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page