Verzeichnis macros/latex/contrib/vdm

Herunterladen des vollständigen Inhalts dieses Pakets in einem Zip-Archiv (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.

Paket	vdm
Version	4.00
Betreuer	Mario Wolczko
Enthalten in	MiKTeX als vdm
Themen	Formale Spezifikation