Foundations of Software Engineering
The slides for Lecture 11, Lecture 12 and Lecture 13 are now available.