John Derrick profile picture

John Derrick

Is this your author profile? Create an account to claim and customize it!

Stand Alone

The word processing handbook
The Office Equipment Adviser
Refinement in Z and ObjectZ
Refinement in Z and Object-Z
Abstract State Machines, Alloy, B, VDM, and Z
Integrated Formal Methods
Integrated Formal Methods 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings
Integrated Formal Methods 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings
Formal Techniques for Networked and Distributed Systems - FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings