CTAN Comprehensive TeX Archive Network

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.

Sources/macros/latex/contrib/vdm
Documentation
Version4.00
MaintainerMario Wolczko
Contained inMiKTeX as vdm
TopicsFormal specification

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

Export the package reference as file

Community Comments

Loading...
Guest Book Sitemap Contact Contact Author