objectz – Macros for typesetting Object Z
The package will typeset both Z and Object-Z specifications; it develops the original zed package
|License||The LaTeX Project Public License|
David Leadbetter (inactive)
|Contained in||TeX Live as objectz|
|MiKTeX as objectz|
typeset formal specification languages|
Download the contents of this package in one zip archive (275.5k).
Maybe you are interested in the following packages as well.
- context-bnf: A BNF module for ConTeXt
- tds: The TeX Directory Structure standard
- sr-hyphen-spec: Hyphenation of special cases in Serbian
- fixmath: Make maths comply with ISO 31-0:1992 to ISO 31-13:1992