loop invariant

invariants used to prove properties of loops

카테고리: