Designkontrakter og ansvarsfordeling
- slide 30 : 31
Andre anvendelser af assertions