A specification language

• 1 January 1982
• book chapter
• Published by Springer Nature
• p. 381-401
• https://doi.org/10.1007/3-540-11490-4_23

Abstract

Keywords

• BINARY RELATION
• PARTIAL FUNCTION
• FORMAL FRAMEWORK
• SCHEMA NOTATION
• NOTATIONAL FRAMEWORK