Using Yourdon and Z : an Approach to Formal Specification

Publisher Website

1 January 1991

book chapter
Published by Springer Nature

p. 228-253
https://doi.org/10.1007/978-1-4471-3540-1_15

Abstract

No abstract available

Keywords

This publication has 1 reference indexed in Scilit:

The Specification and Modeling of Computer Security
Published by Defense Technical Information Center (DTIC) ,1990