lectures
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| lectures [2015/08/06 03:15] – jackie | lectures [2015/08/13 03:39] (current) – jackie | ||
|---|---|---|---|
| Line 70: | Line 70: | ||
| === Slides and Notes === | === Slides and Notes === | ||
| - | * DbC and Loops [[https:// | + | * DbC and Loops (up to slide 21) [[https:// |
| + | * The [[https:// | ||
| + | * You can also find details about the Hoare triple here. | ||
| + | ==== Week 13 (August 12) ==== | ||
| + | |||
| + | === Slides and Notes === | ||
| + | * DbC and Loops (from Slide 22 to the end) [[https:// | ||
| + | * [[https:// | ||
| + | * [[https:// | ||
lectures.1438830903.txt.gz · Last modified: 2015/08/06 03:15 by jackie