Project Summary
Project Information
Field | Value |
---|---|
Name | CZT Parser Object-Z Pattern |
Description | Provides classes for parsing and printing Object-Z Pattern specifications. |
Homepage | http://czt.sourceforge.net/parser/parser-ozpatt |
Tools for developing and reasoning about Z specifications
Field | Value |
---|---|
Name | CZT Parser Object-Z Pattern |
Description | Provides classes for parsing and printing Object-Z Pattern specifications. |
Homepage | http://czt.sourceforge.net/parser/parser-ozpatt |