objectz – Macros for typesetting Object Z
The package will typeset both Z and Object-Z specifications; it develops the original zed package
| Sources | /macros/latex/contrib/objectz |
| Documentation | |
| Licenses | The LaTeX Project Public License |
| Copyright | 1995–1999 Sebastian Rahtz |
| Maintainer | David Leadbetter (inactive) Sebastian Rahtz (deceased) |
| Contained in | TeX Live as objectz MiKTeX as objectz |
| Topics | Formal specification |
| See also | zed-csp |
Download the contents of this package in one zip archive (275.5k).
Suggestions
Maybe you are interested in the following packages as well.
Community Comments