“不变式”造句

契约的要素不光有前 置 、后 置 条件和类不变式.
Pre - and post - conditions and class invariants are not the only elements of contracts.

• #不变式