![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| IBranch.zing.txt | 2004-04-21 14:45 | 440 | |
| elevator.txt | 2004-04-14 12:21 | 1.4K | |
| clipboard.txt | 2004-04-07 11:47 | 1.5K | |
| Branch.zing.txt | 2004-04-21 14:45 | 1.8K | |
| AtmBranchBank.zing.txt | 2004-04-21 14:45 | 2.6K | |
| 04-Alloy-Practice.ppt | 2004-04-07 11:50 | 15K | |
| 06-Spin-Practice.ppt | 2004-04-14 12:18 | 57K | |
| 05-Spin-Intro.ppt | 2004-04-12 12:36 | 75K | |
| 16-Arch-Events.ppt | 2004-05-19 11:48 | 79K | |
| 03-Alloy-Intro.ppt | 2004-04-07 09:57 | 95K | |
| 12-Modularity.ppt | 2004-05-05 12:05 | 110K | |
| tool-review-2.ppt | 2004-05-19 09:45 | 110K | |
| tool-review-1.ppt | 2004-04-21 14:45 | 114K | |
| 01-Introduction.ppt | 2004-03-29 16:34 | 171K | |
| 09-Hoare-logic.ppt | 2004-04-28 14:14 | 181K | |
| 02-Problem-Frames.ppt | 2004-03-31 12:37 | 201K | |
| 10-Hoare-logic.ppt | 2004-04-28 14:14 | 232K | |
| 07-Process-Calculi.ppt | 2004-04-21 14:50 | 273K | |
| 13-CrossCuttingConcern.ppt | 2004-05-11 10:25 | 301K | |
| 15-Patterns.ppt | 2004-05-19 09:45 | 306K | |
| 11-Esc-Java.ppt | 2004-05-05 11:39 | 537K | |
| TestLecture2.ppt | 2004-06-02 09:21 | 700K | |
| TestLecture1.ppt | 2004-05-26 09:36 | 789K | |
| 14-Architecture.ppt | 2004-05-19 09:47 | 937K | |