《形式化方法》笔记 发表于 2021-06-22 分类于 笔记 阅读次数： 本文字数： 8 阅读时长 ≈ 1 分钟 Formal Specification Using Z by David Lightfoot