Program construction consists of a sequence of refinement steps.
程序构造由一系列细化步骤组成。
标签
Consists
Refinement
程序构造由一系列细化步骤组成。