vdm
Typesetting VDM schemas
- Version:
- 4.00
- Copyright:
- License:
- noinfo
- Packaged on:
- 07/18/2016 16:53:00
- Number of files:
- 4
- Size on disk:
- 247.18 kB
The package conforms to the BSI concrete syntax for VDM, and enables the user to concentrate on VDM specifications rather than typesetting format. Note that it does not cover the whole of BSI VDM.