Project Summary
Project Information
Field | Value |
---|---|
Name | CZT Gaffe |
Description | Customisable GUI front-end and designer to a Z animator. |
Homepage | http://czt.sourceforge.net/gaffe |
Tools for developing and reasoning about Z specifications
Field | Value |
---|---|
Name | CZT Gaffe |
Description | Customisable GUI front-end and designer to a Z animator. |
Homepage | http://czt.sourceforge.net/gaffe |