CTAN Comprehensive TeX Archive Network

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
Home pagehttp://www.itee.uq.edu.au/~smith/objectz.html
LicensesThe Project Public License
MaintainerDavid Leadbetter (inactive)
Sebastian Rahtz (deceased)
Contained inTeX Live as objectz
MiKTeX as objectz
TopicsFormal specification
See alsozed-csp

Download the contents of this package in one zip archive (275.5k).

Export the package reference as file

Community Comments

Loading...

Package Links

Guest Book Sitemap Contact Contact Author