Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
svarm:program1 [2010/07/12 11:52] vkuncak |
svarm:program1 [2010/07/12 11:53] vkuncak |
||
|---|---|---|---|
| Line 42: | Line 42: | ||
| |Forum G.07 in IF building]] | |Forum G.07 in IF building]] | ||
| + | | 09:00 | | //Session Chair: Viktor Kuncak// | | ||
| | 09:00 | Bernhard Beckert | Formal Verification of System Software | | | 09:00 | Bernhard Beckert | Formal Verification of System Software | | ||
| ^ 10:00 - 10:20 ^ **Coffee Break** ^ ^ | ^ 10:00 - 10:20 ^ **Coffee Break** ^ ^ | ||