开发者 czt.sf.net

Community Z Tools 免费

社区 Z 工具项目（CZT）：用于编辑、类型检查和为 Z 动画的工具规格和相关符号。包括用于构建正式方法工具的 Java 框架。