Modular Object-Oriented Z Specifications

• 1 January 1991
• book chapter
• Published by Springer Nature
• p. 173-192
• https://doi.org/10.1007/978-1-4471-3540-1_12

Abstract

Keywords

• PRIOR QUEUE
• ABSTRACT DATA TYPE
• PREDICATE PART
• PROGRAM RESEARCH GROUP
• CLASS INHERITANCE