User Tools
courses:sdm2021:main
Differences
This shows you the differences between two versions of the page.
|
courses:sdm2021:main [2021/07/02 23:55] tsay2 [Announcements] |
courses:sdm2021:main [2021/11/09 09:39] (current) tsay2 [Announcements] |
||
|---|---|---|---|
| Line 3: | Line 3: | ||
| ===== Announcements ===== | ===== Announcements ===== | ||
| - | * 07/02: {{courses:sdm2021:sdm2021grade.pdf|grade report}} available; contact the instructor by 5PM 07/04 (Sunday) if you have any question or request. | + | * 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. | ||
courses/sdm2021/main.1625241327.txt.gz · Last modified: 2021/07/02 23:55 by tsay2
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial-Share Alike 3.0 Unported
