kvadratrods-specification - Et eksempel på en axiomatisk specifikation af en kvadratrodsfunktion.
Lecture 9 - slide 4 : 31
Program 2
sqrt(x: Real) -> Real precondition: x >= 0; postcondition: abs(result * result - x) <= 0.000001