This shows you the differences between two versions of the page.
courses:sdm2012:main [2012/12/26 23:56] tsay |
courses:sdm2012:main [2013/01/10 00:59] (current) tsay |
||
---|---|---|---|
Line 3: | Line 3: | ||
===== Announcements ===== | ===== Announcements ===== | ||
+ | * 01/10: slides and notes for Hoare Logic available. | ||
* 12/26: slides for Model Checking available. | * 12/26: slides for Model Checking available. | ||
* 12/15: {{courses:sdm2012:chatroom.zip|source code}} of the Android chatroom example created by Mark Chang; many thanks to Mark. | * 12/15: {{courses:sdm2012:chatroom.zip|source code}} of the Android chatroom example created by Mark Chang; many thanks to Mark. |