![]() |
Section 6.9:
|
This section contains auxiliary vdm-sl describing the state, environment and miscellaneous auxiliary functions and operations relating to them and the vdm-sl model on which this specification is based.
![]() |
Specification Index | ![]() |
Language Index | ![]() |
Section 6 Index |
Comments
or enquiries should be made to Keith Hopper. Page last modified: Tuesday, 23 May 2000. |
![]() |