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