lectures
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| lectures [2015/08/13 03:36] – jackie | lectures [2015/08/13 03:39] (current) – jackie | ||
|---|---|---|---|
| Line 78: | Line 78: | ||
| === Slides and Notes === | === Slides and Notes === | ||
| * DbC and Loops (from Slide 22 to the end) [[https:// | * DbC and Loops (from Slide 22 to the end) [[https:// | ||
| - | * [[https:// | + | * [[https:// |
| - | * [[Example code of loop invariant and variant|https:// | + | * [[https:// |
lectures.1439436964.txt.gz · Last modified: 2015/08/13 03:36 by jackie