Using Z : Specification, Refinement, and Proof by Woodcock, Jim Paperback Book

Using Z: Specification, Refinement, and Proof (Prentice-hall International S...

Using Z: Specification, Refinement, and Proof (Prentice-hall International...

Formal Methods of Program Verification and Specification (Prentice-Hall Soft...

Introduction Formal Specification And Z (2nd Edition) (Prentice-

An Introduction to Formal Specification and Z (Prentice-Hall International Serie

Introduction Formal Specification And Z (... by Potter, Ben Paperback / softback