付録C:記法対照表

Z 記法、Alloy、TLA+ などで共通に現れる概念の記号・用語を対照します(後続版で表形式に整備)。