objectz – Macros for typesetting Object Z
The package will typeset both Z and Object-Z specifications; it develops the original zed package
| CTAN path | /macros/latex/contrib/objectz |
|---|---|
| Documentation |
Readme Package documentation |
| Home page | http://www.itee.uq.edu.au/~smith/objectz.html |
| License | The LaTeX Project Public License |
| Copyright | 1995-1999 Sebastian Rahtz |
| Maintainer | Sebastian Rahtz David Leadbetter (inactive) |
| Contained in | TeXLive as objectz |
| MiKTeX as objectz | |
| Topics |
typeset formal specification languages |
| See also |
zed-csp |