David A. Duffy

Publication Activity (10 Years)

Years Active: 1995-2000
Publications (10 Years): 0

Publications

David A. Duffy, Jürgen Giesl
Closure Induction in a Z-Like Language. ZB (2000)
David A. Duffy, Ian Toyn
Reasoning Inductively about Z Specifications via Unification. ZB (2000)
Ian Toyn, Samuel H. Valentine, David A. Duffy
On Mutually Recursive Free Types in Z. ZB (2000)
David A. Duffy, Craig MacNish, John Alexander McDermid, Philip Morris
A Framework for Requirements Analysis Using Automated Reasoning CAiSE (1995)