Skip to main content
Lecture

Object Invariants: Ownership and Soundness