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.
|Contained in||MiKTeX as vdm|
Download the contents of this package in one zip archive (189.2k).
Maybe you are interested in the following packages as well.
- formal-grammar: Typeset formal grammars
- objectz: Macros for typesetting Object Z
- simplebnf: A simple package to format Backus-Naur form (BNF)
- ebnf: Simple package for EBNF productions