Structuring for the VDM specification language

• 1 January 1988
• book chapter
• Published by Springer Nature
• p. 2-25
• https://doi.org/10.1007/3-540-50214-9_2

Abstract

Keywords

• ACTUAL PARAMETER
• FORMAL PARAMETER
• PARAMETERISED MODULE
• CONTEXT CONDITION
• MODULE INTERFACE