An axiomatic approach to semantics of specification languages

• 21 October 2005
• book chapter
• Published by Springer Nature
• p. 211-219
• https://doi.org/10.1007/bfb0009646

Abstract

Keywords

• FREE VARIABLE
• SPECIFICATION LANGUAGE
• PREFERENCE SYSTEM
• SEMANTICAL SYSTEM
• CONSTANT SYMBOL