Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

sav07_lecture_10_skeleton [2007/04/19 11:53]
vkuncak
sav07_lecture_10_skeleton [2007/04/19 11:53] (current)
vkuncak
Line 1: Line 1:
 ====== Lecture 10 Skeleton ====== ====== Lecture 10 Skeleton ======
  
-Gues lecture by Andrey Rybalchenko:​+Guest lecture by Andrey Rybalchenko:​
   * [[http://​www.mpi-inf.mpg.de/​~rybal|Andrey'​s web page with links to papers]]   * [[http://​www.mpi-inf.mpg.de/​~rybal|Andrey'​s web page with links to papers]]
   * [[http://​www.mpi-inf.mpg.de/​~rybal/​papers|Links to paper pdfs]]   * [[http://​www.mpi-inf.mpg.de/​~rybal/​papers|Links to paper pdfs]]
 
sav07_lecture_10_skeleton.txt · Last modified: 2007/04/19 11:53 by vkuncak
 
© EPFL 2018 - Legal notice