Using Z to Develop a CASE Toolset

• 1 January 1990
• book chapter
• Published by Springer Nature
• p. 142-149
• https://doi.org/10.1007/978-1-4471-3877-8_9

Abstract

Keywords

• LANGUAGE
• REFINEMENT
• ORIENTED
• FORMAL
• MADE
• TOOLSET
• USING Z
• SSADM
• UNDOUBTEDLY