Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

parcon18:course_material [2018/05/24 10:48]
romain [Week 13]
parcon18:course_material [2018/05/24 10:48] (current)
romain [Week 13]
Line 131: Line 131:
 Exercises: Exercises:
  
-  * {{:​parcon18:​exercise_session_8.pdf|Session 8}} ({{:​parcon18:​exercise_session_8_-_solutions.pdf|Solutions}})+  ​* **{{:​parcon18:​exercise_session_8.pdf|Session 8}}** ({{:​parcon18:​exercise_session_8_-_solutions.pdf|Solutions}})
 ==== Week 14 ==== ==== Week 14 ====
   * **FINAL EXAM**   * **FINAL EXAM**
   * The exam will be **closed book**.   * The exam will be **closed book**.
 
parcon18/course_material.txt · Last modified: 2018/05/24 10:48 by romain
 
© EPFL 2018 - Legal notice