Funktioner
- slide 25 : 26
Korrekthed af programmer