Comprehensive TeX Archive Network

Direc­tory tex-archive/macros/latex/contrib/vdm


Name Size Date Notes
vdm.pdf 197434 2006-04-07 19:42
vdm.sty 39360 1994-10-15 01:00
vdm.tex 52929 1996-03-04 01:00

Down­load the con­tents of this pack­age in one zip archive (189.2k).

vdm – Type­set­ting VDM schemas

The pack­age con­forms to the BSI con­crete syn­tax for VDM, and en­ables the user to con­cen­trate on VDM spec­i­fi­ca­tions rather than type­set­ting for­mat. Note that it does not cover the whole of BSI VDM.

Pack­age De­tailsvdm
Li­censeUn­known Sta­tus, No In­for­ma­tion Avail­able
Main­tainerMario Wol­czko
Con­tained inMiKTeX as vdm
Topics type­set for­mal spec­i­fi­ca­tion lan­guages
Guest Book Sitemap Contact Contact Author