John Derrick profile picture

John Derrick

Is this your author profile? Create an account to 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