Software construction

This page is part of the content downloaded from Exercises solution: Equational Reasoning on Sunday, 29 June 2025, 20:45. Note that some content and any files larger than 50 MB are not downloaded.