Contracts and Assertions
- slide 18 : 32
Class Invariants