bn:03392718n
Noun Concept
EL
No term available
EN
In computer science, a loop invariant is a property of a program loop that is true before each iteration. Wikipedia
Relations
Sources