[PPT] - Specification and Analysis of Contracts Lecture 6 Challenges in PowerPoint Presentation