Slide 1 OOP #10: Correctness Fritz Henglein Slide 2 Wrap-up: Types A type is a collection of objects with common behavior (operations and properties). (Abstract) types can…