Cover Image
Read Now

1
Published 1991
Springer London
Table of Contents: “... -- Machine support for Z: the zedB tool -- The ZIP project -- Methods -- What is a Good Formal Specification...”
Cover Image
Read Now

2
Published 1993
Springer London
Table of Contents: “... for Defence Standard 00-55 -- Formal Specification and Development of Control System Input/Output...”