This shows you the differences between two versions of the page.
courses:sdm2021:main [2021/06/23 15:23] tsay2 [Syllabus/Schedule (with links to slides/notes)] |
courses:sdm2021:main [2021/11/09 09:39] (current) tsay2 [Announcements] |
||
---|---|---|---|
Line 3: | Line 3: | ||
===== Announcements ===== | ===== Announcements ===== | ||
+ | * 07/02: grade report available; contact the instructor by 5PM 07/04 (Sunday) if you have any question or request. | ||
* 06/23: slides for Frama-C and ACSL available. | * 06/23: slides for Frama-C and ACSL available. | ||
* 06/16: slides for Hoare Logic available. | * 06/16: slides for Hoare Logic available. |