vdm – Typesetting VDM schemas
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.
Unknown Status, No Information Available
|Contained in||MiKTeX as vdm|
typeset formal specification languages
Download the contents of this package in one zip archive (189.2k).
Maybe you are interested in the following packages as well.
- objectz: Macros for typesetting Object Z
- vdmlisting: Typesetting VDM in ASCII syntax
- fixmath: Make maths comply with ISO 31-0:1992 to ISO 31-13:1992
- gensymb: Generic symbols for both text and math mode