ADT and Formal Specs

Students revisit ADTs with a focus on formal specification and invariants, learning to separate interface from implementation to manage system complexity.

Similar Lessons