|
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. |
|