循环不变式开发新策略及其应用

• New Strategies for Developing Loop Invariants and its Application