This week and next

• Tools and analysis

• In some ways, at least the analysis part might be close to the specification topics covered last week

• But the focus will be much, much closer to the source code

Previous slide

Next slide

Back to first slide

View graphic version