发表于 分类于 阅读次数: 本文字数: 8 阅读时长 ≈ 1 分钟

Formal Specification Using Z by David Lightfoot