| Last modified: 20070404:085046/version for 2007 | CSE4213 AJH-2007-20 |
Lecture 11: Discharging Proof Obligations (continued)
Discharging Proof Obligations (continued)
Discharging Proof Obligations (continued)
| presentation | slides as given in lectures, with multiple slides per points | 41 pages |
| slides | slides as per the lectures, but multiple points per slide, suitable for printing | 41 pages |
| notes | the slides reduced to note form, even more suitable for printing | 9 pages |
A worked example of how to approach the task of discharging proof obligations.
Covered in this lecture: slides 21-30 (presentation/slides)
previous lecture next lecture
Document History
| 20070404:085046 | 6.0.0 | ajh | version for 2007 |
