Starting point: two “semi-formal” specifications

Previous slide Next slide Back to first slide View graphic version