CTAN Comprehensive TeX Archive Network

vdm – Typesetting 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.

Sources /macros/latex/contrib/vdm
Doc­u­men­ta­tion
Ver­sion4.00
Main­tainerMario Wol­czko
Con­tained in MiKTeX as vdm
Topics For­mal spec­i­fi­ca­tion

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

Com­mu­nity Com­ments

Load­ing...
Guest Book Sitemap Contact Contact Author