objectz – Macros for typesetting Object Z
The package will typeset both Z and Object-Z specifications; it develops the original zed package
|Licenses||The LaTeX Project Public License|
|Maintainer||David Leadbetter (inactive)|
Sebastian Rahtz (deceased)
|Contained in||TeX Live as objectz|
MiKTeX as objectz
Download the contents of this package in one zip archive (275.5k).
Export the package reference as BibTeX file
Maybe you are interested in the following packages as well.
- vdmlisting: Typesetting VDM in ASCII syntax
- zed-csp: Typesetting Z and CSP format specifications
- zed: Typeset Z specifications
- braille: Support for braille