Atur cara mengikut czt.sf.net

Projek Alatan Z Komuniti (CZT):Alatan untuk mengedit, menaip dan menganimasikan Zspesifikasi dan notasi yang berkaitan.Termasuk rangka kerja Java untuk membina alat kaedah formal.