Macros for typesetting Object Z.
The package will typeset both Z and Object-Z specifications; it develops the original package
See also zed-csp.
The authors are Sebastian Rahtz and David Leadbetter. The package is Copyright © 1995-1999 Sebastian Rahtz.
License: lppl Catalogued: 2011-06-16
Visit
Visit Dante:/macros/latex/contrib/objectz
Download
Visit the Package Home Page
Documentation
Package documentation: ozguide.pdf.
Distributions
This package is included in MikTeX.