David A. Duffy

According to our database, David A. Duffy authored at least 5 papers between 1991 and 2000.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2000

On Mutually Recursive Free Types in Z.

Ian Toyn, Samuel H. Valentine, David A. Duffy

Proceedings of the ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29, 2000

Reasoning Inductively about Z Specifications via Unification.

David A. Duffy, Ian Toyn

Proceedings of the ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29, 2000

Closure Induction in a Z-Like Language.

David A. Duffy, Jürgen Giesl

Proceedings of the ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29, 2000

1995

A Framework for Requirements Analysis Using Automated Reasoning

David A. Duffy, Craig MacNish, John A. McDermid, Philip Morris

Proceedings of the Advanced Information Systems Engineering, 7th International Conference, 1995

1991

Principles of automated theorem proving.

David A. Duffy

Wiley professional computing, Wiley, ISBN: 978-0-471-92784-6, 1991