> John A. McDermid
John A. McDermid
author : John A. McDermid
Software Engineer's Reference Book
Using Diagrams to Give a Formal Specification of Timing Constraints in Z. 1993.
7th Z User Workshop
Towards a Z Method: Axiomatic Specifications in Z. 1994.
8th Z User Workshop
Formal Specification of an Aerospace System: The Attitude Monitor. 1995.
Applications of Formal Methods