Chapter 12: Immanent Reasoning
Combining Z specifications and proofs
Next slide
Back to first slide
View graphic version