《形式化方法》笔记 Posted on 2021-06-22 Views: Symbols count in article: 41 Reading time ≈ 1 mins. Formal Specification Using Z by David Lightfoot