常見例句The paper contributes to developing non-recursive algorithm using formal method and new strategy of developing loop invariant.對使用形式化方法及循環(huán)不變式開發(fā)新策略開發(fā)非遞歸算法作了較深入的實踐和探討。 返回 coherence-invariant