Project Summary
Project Information
| Field | Value |
|---|---|
| Name | CZT ZML |
| Description | Provides XML Schemas that define the XML markup for Z and example specifications in various mark-ups. |
| Homepage | http://czt.sourceforge.net/zml |
Tools for developing and reasoning about Z specifications
| Field | Value |
|---|---|
| Name | CZT ZML |
| Description | Provides XML Schemas that define the XML markup for Z and example specifications in various mark-ups. |
| Homepage | http://czt.sourceforge.net/zml |