Skip to content
Vinony

John Derrick

No biography available.

Works (7)

Cover of Integrated Formal Methods
Integrated Formal Methods
Cover of Refinement
Refinement
Cover of Refinement in Z and Object-Z
Refinement in Z and Object-Z
Cover of Integrated formal methods
Integrated formal methods
Cover of Refinement in Z and ObjectZ
Refinement in Z and ObjectZ
Cover of Abstract State Machines, Alloy, B, VDM, and Z
Abstract State Machines, Alloy, B, VDM, and Z
Cover of Refinement in Z and Object-Z
Refinement in Z and Object-Z