CZT parser for Object-Z
Provides classes for parsing and printing Object-Z specifications (written in Object-Z extension of the Z specification language).
Tools for developing and reasoning about Z specifications
Provides classes for parsing and printing Object-Z specifications (written in Object-Z extension of the Z specification language).