Project Summary
Project Information
| Field | Value |
|---|---|
| Name | CZT Z to B Translator |
| Description | A translator for Z specifications to B abstract machine. |
| Homepage | http://czt.sourceforge.net/z2b |
Tools for developing and reasoning about Z specifications
| Field | Value |
|---|---|
| Name | CZT Z to B Translator |
| Description | A translator for Z specifications to B abstract machine. |
| Homepage | http://czt.sourceforge.net/z2b |