Initial Semantics of Specifications

• 1 January 1985
• book chapter
• Published by Springer Nature
• p. 62-88
• https://doi.org/10.1007/978-3-642-69962-7_4

Abstract

Keywords

• QUOTIENT
• CHAPTER
• INTRODUCTORY
• EQUATIONAL
• GREAT
• INITIAL SEMANTICS
• EMPHAZISE
• FORMER
• EXTRORDINARY