What’s left in classic program correctness?

Previous slide Next slide Back to first slide View graphic version