Contracts and Assertions
- slide 31 : 32
Loop Invariants