Project Summary
Project Information
| Field | Value |
|---|---|
| Name | CZT Corejava Circus Pattern |
| Description | Provides AST classes for Circus Pattern extension. |
| Homepage | http://czt.sourceforge.net/corejava/corejava-circuspatt |
Tools for developing and reasoning about Z specifications
| Field | Value |
|---|---|
| Name | CZT Corejava Circus Pattern |
| Description | Provides AST classes for Circus Pattern extension. |
| Homepage | http://czt.sourceforge.net/corejava/corejava-circuspatt |