loop invariant

invariants used to prove properties of loops

Катэгорыі: