Object invariant is important in the object-oriented program proof.
对象不变式在面向对象程序的证明中具有重要作用。
youdao
应用推荐
模块上移
模块下移
不移动