User Tools
courses:ssv2014:main
Differences
This shows you the differences between two versions of the page.
|
courses:ssv2014:main [2014/12/25 16:15] tsay [Announcements] |
courses:ssv2014:main [2015/01/08 00:13] (current) tsay [Announcements] |
||
|---|---|---|---|
| Line 3: | Line 3: | ||
| ===== Announcements ===== | ===== Announcements ===== | ||
| + | * 01/08: solutions to homework assignments: {{courses:ssv2014:hw1s.pdf|HW#1}}, {{courses:ssv2014:hw2s.pdf|HW#2}}, {{courses:ssv2014:hw3s.pdf|HW#3}}. | ||
| + | * 01/02: {{courses:ssv:old_exams.zip|old exams}}. | ||
| * 12/25: slides for the B-Method available. | * 12/25: slides for the B-Method available. | ||
| * 12/24: slides for Temporal Verification available. | * 12/24: slides for Temporal Verification available. | ||
courses/ssv2014/main.1419495347.txt.gz · Last modified: 2014/12/25 16:15 by tsay
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial-Share Alike 3.0 Unported
