The TeX Catalogue Online

by Graham Williams

CTAN Edition

vdm Typesetting VDM schemas.
Visit CTAN:macros/latex/contrib/other/vdm Download from somewhere nearby (Search) Download from Dante Included in TeXLive distribution in latex3 License: unknown     Catalogued: 1999/03/03