Example

• {x <> 0}if x < 0 then x := -x else x := x-1{x >= 0}

Previous slide

Next slide

Back to first slide

View graphic version