The Object-Z Specification Language

• 1 January 2000
• book
• Published by Springer Nature
• https://doi.org/10.1007/978-1-4615-5265-9

Abstract

Keywords

• ATTRIBUT
• SELF
• FORMAL SPECIFICATION
• FUNCTIONS
• INHERITANCE
• LANGUAGE
• OBJECT
• POLYMORPHISM