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