Documents The Z Specification Language Based on J. M. Spivey. An Introduction to Z and formal specifications,....

Slide 1 The Z Specification Language Based on J. M. Spivey. An Introduction to Z and formal specifications, Software Engineering Journal, 4(1):40-50, January, 1989. 1 Slide…

Documents The Z Specification Language

The Z Specification Language Based on J. M. Spivey. An Introduction to Z and formal specifications, Software Engineering Journal, 4(1):40-50, January, 1989. * Outline Basic…