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