David A. Duffy

	2000
4		David A. Duffy, Jürgen Giesl: Closure Induction in a Z-Like Language. ZB 2000: 471-490
3		Ian Toyn, Samuel H. Valentine, David A. Duffy: On Mutually Recursive Free Types in Z. ZB 2000: 59-74
2		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

Coauthor Index

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]

Colors in the list of coauthors