Directory tex-archive/macros/latex/contrib/vdm
Files
| Name | Size | Date | Notes |
|---|---|---|---|
vdm.pdf |
197434 | 2006-04-07 07:42:00 | |
vdm.sty |
39360 | 1994-10-15 01:00:00 | |
vdm.tex |
52929 | 1996-03-04 01:00:00 |
Download the complete
contents of this directory 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.
| Documentation |
Package documentation |
| Version | 4.00 |
| License | Unknown Status, No Information Available |
| Maintainer | Mario Wolczko |
| Contained in | MiKTeX as vdm |
| Topics |
typeset formal specification languages |