Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

sav [2015/01/10 13:01]
vkuncak
sav [2016/06/03 12:46] (current)
vkuncak
Line 5: Line 5:
 Here you can access the archives and the latest edition of the course **Synthesis,​ Analysis and Verification**. 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: [[sav17:​top|SAV ​2017]]****
  
-Previous editions are: [[sav13:​top|SAV 2013]], [[sav12:​top|SAV 2012]], [[sav11:​top|SAV 2011]], [[sav10:​top|SAV 2010]], [[sav09:​top|SAV 2009]], [[sav08:​intro|SAV 2008]]+Previous editions are: [[sav15:​top|SAV 2015]], ​[[sav13:​top|SAV 2013]], [[sav12:​top|SAV 2012]], [[sav11:​top|SAV 2011]], [[sav10:​top|SAV 2010]], [[sav09:​top|SAV 2009]], [[sav08:​intro|SAV 2008]]
  
 ---- ----
 
sav.txt · Last modified: 2016/06/03 12:46 by vkuncak
 
© EPFL 2018 - Legal notice