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

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).

Community Comments


Package Links

Guest Book Sitemap Contact Contact Author