Directory macros/latex/contrib/vdm

Download the contents of this package in one zip archive (189.2k).

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.

Package	vdm
Version	4.00
Maintainer	Mario Wolczko
Contained in	MiKTeX as vdm
Topics	Formal specification