Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
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