This shows you the differences between two versions of the page.
courses:av2015:main [2015/06/18 11:57] tsay [Announcements] |
courses:av2015:main [2020/01/01 17:29] (current) tsay2 [Announcements] |
||
---|---|---|---|
Line 3: | Line 3: | ||
===== Announcements ===== | ===== Announcements ===== | ||
+ | * 06/19: {{courses:av:old_exams.zip|old exams}}. | ||
* 06/18: slides for Compositional Reasoning available. | * 06/18: slides for Compositional Reasoning available. | ||
* 06/10: slides for Bounded Model Checking available. | * 06/10: slides for Bounded Model Checking available. |