Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
sav [2012/02/19 22:24] vkuncak |
sav [2013/02/15 20:07] vkuncak |
||
---|---|---|---|
Line 5: | Line 5: | ||
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** design and taught by Professor [[http://lara.epfl.ch/~kuncak|Viktor Kuncak]] and his [[http://lara.epfl.ch|LARA]] group. | ||
- | The latest edition of the course is: [[sav12:top|SAV 2012]]**** | + | The latest edition of the course is: [[sav13:top|SAV 2013]]**** |
- | Previous editions are: [[sav11:top|SAV 2011]], [[sav10:top|SAV 2010]], [[sav09:top|SAV 2009]], [[sav08:intro|SAV 2008]] | + | Previous editions are: [[sav12:top|SAV 2012]], [[sav11:top|SAV 2011]], [[sav10:top|SAV 2010]], [[sav09:top|SAV 2009]], [[sav08:intro|SAV 2008]] |
---- | ---- |