#

Search | Home | Alpha | Brief | Topical | Hierarchical

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.

The author is Mario Wolczko.

License: unknown Catalogued: 2007-01-20

- Visit
  - Visit a nearby CTAN:/macros/latex/contrib/vdm. If this fails, try Cambridge.
  - Visit Cambridge:/macros/latex/contrib/vdm
- Download
  - Download from a nearby CTAN (automatically identified).
  - Download from Cambridge.
- Documentation
  - Package documentation: vdm.pdf.
- Distributions
  - This package is included in TeX Live.
  - This package is included in MikTeX.