Lecture overview -- Keyboard shortcut: 'u'    Next page: Software Qualities -- Keyboard shortcut: 'n'  Lecture notes - all slides together  Annotated slide -- Keyboard shortcut: 't'  Textbook -- Keyboard shortcut: 'v'  Alphabetic index  Help page about these notes  Course home    Exit possible frame set  Contracts and Assertions - slide 1 : 32

Correctness