CZT

Community Z Tools

The CZT (Community Z Tools) project is developing tools for the Z notation using SourceForge↑.

External links

• CZT SourceForge website
• CZT Initiative information from the Oxford University Computing Laboratory↑