User Tools
courses:ssv2010:main
Differences
This shows you the differences between two versions of the page.
|
courses:ssv2010:main [2010/12/29 19:52] tsay |
courses:ssv2010:main [2010/12/29 22:06] (current) tsay |
||
|---|---|---|---|
| Line 3: | Line 3: | ||
| ===== Announcements ===== | ===== Announcements ===== | ||
| - | * Dec. 29: slides for Z and Alloy available. | + | * Dec. 29: slides for Z, B, and Alloy available. |
| * Dec. 14: slides for Owicki-Gries Method and UNITY Logic available. | * Dec. 14: slides for Owicki-Gries Method and UNITY Logic available. | ||
| * Dec. 14: slides for Why available. | * Dec. 14: slides for Why available. | ||
courses/ssv2010/main.1293623579.txt.gz ยท Last modified: 2010/12/29 19:52 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
