Chapter 4 Design Principles I Correctness and Robustness.
Lecture # 05: Design Principles I - Correctness and Robustness