I have posted a new version of the PDF file for Lecture 6. It fixes some of the typos I corrected during lecture and updates the title page to have the correct date and lecture number.
CSCI 5828 — Fall 2014
Foundations of Software Engineering
© University of Colorado, Boulder 2014