Sather Home Page

Section 6.9:
Auxiliary vdm-sl

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.
Produced with Amaya