Correctness

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

Exit possible frame set

Contracts and Assertions - slide 1 : 32

Correctness