Practical Experiences of Z and SSADM

Publisher Website

1 January 1993

book chapter
Published by Springer Nature

p. 240-251
https://doi.org/10.1007/978-1-4471-3556-2_16

Abstract

No abstract available

Keywords

This publication has 5 references indexed in Scilit:

Methods and Tools for the Verification of Critical Properties
Published by Springer Nature ,1992
Structured Analysis — A Draft Method for Writing Z Specifications
Published by Springer Nature ,1992
Using Yourdon and Z : an Approach to Formal Specification
Published by Springer Nature ,1991
Data Flow Diagrams and Z
Published by Springer Nature ,1991
Security Policies and Security Models
Published by Institute of Electrical and Electronics Engineers (IEEE) ,1982