The top documents tagged [suitable loop invariants]
A Survey of Loop Invariants
33 views