Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Last revision Both sides next revision | ||
sav [2015/01/10 13:00] vkuncak |
sav [2015/01/10 13:01] vkuncak |
||
---|---|---|---|
Line 3: | Line 3: | ||
---- | ---- | ||
- | Here you can access the archives and the latest edition of the course **Synthesis, Analysis and Verification** design and taught by Professor [[http://lara.epfl.ch/~kuncak|Viktor Kuncak]] and his [[http://lara.epfl.ch|LARA]] group. | + | Here you can access the archives and the latest edition of the course **Synthesis, Analysis and Verification**. |
The latest edition of the course is: [[sav15:top|SAV 2015]]**** | The latest edition of the course is: [[sav15:top|SAV 2015]]**** |