開發者 czt.sf.net

Community Z Tools 免費

社區 Z 工具專案（CZT）：用於編輯、類型檢查和為 Z 動畫的工具規格和相關符號。包括用於構建正式方法工具的 Java 框架。