Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

parcon17:top [2019/02/18 14:43]
guillaume.martres
parcon17:top [2019/02/18 14:43] (current)
guillaume.martres
Line 1: Line 1:
-__**[[https://​courseware.epfl.ch/​courses/​course-v1:​EPFL+CS-206+2019_T1/​about/|This page is for an old version of the course, click here to go to the 2019 edition of the course]]+__**[[https://​courseware.epfl.ch/​courses/​course-v1:​EPFL+CS-206+2019_T1/​about|This page is for an old version of the course, click here to go to the 2019 edition of the course]]
  
 **__ **__
 
parcon17/top.txt · Last modified: 2019/02/18 14:43 by guillaume.martres
 
© EPFL 2018 - Legal notice