プログラム czt.sf.net

コミュニティ Z ツール プロジェクト (CZT):Z の編集、タイプチェック、アニメーション化のためのツール仕様と関連表記。正式なメソッド ツールを構築するための Java フレームワークが含まれています。