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