net.sourceforge.czt.eclipse.product.executable.gtk.linux.x86_64_1.0.0.201504080146 (net.sourceforge.czt.eclipse.product.executable.gtk.linux.x86_64_1.0.0.201504080146( 外部リンク: SF.net): 230,150 バイト)のダウンロードが開始されます。開始されない場合，左のリンクをクリックしてください。
コミュニティ Z ツールプロジェクト（CZT）は、Z 仕様と関連する記法のアニメーション化、型チェック、編集用のツールです。メソッドツールを構築するために Javaのフレームワークを含んでいます。
