Experiment 1 [Gries 81]: Recover formal specifications

Previous slide Next slide Back to first slide View graphic version