![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| lecture1.pdf | 2017-09-07 12:28 | 299K | |
| lecture2.pdf | 2017-09-11 21:50 | 135K | |
| lecture 2 and 3.pdf | 2017-09-13 22:24 | 157K | |
| lecture4and5.pdf | 2017-09-21 12:54 | 199K | |
| lecture4and5_to_post.pdf | 2017-09-25 22:05 | 114K | |
| lecture6and7_to_post.pdf | 2017-10-08 20:24 | 137K | |
| lectures_predlogic_intro_h.pdf | 2017-10-11 21:36 | 45K | |
| lectures_predlogic_syntax_h.pdf | 2017-10-16 22:11 | 57K | |
| nov9_program_verification_intro.pdf | 2017-11-08 13:29 | 517K | |
| verif_arrays.pdf | 2017-11-20 10:44 | 929K |