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 [2007/04/24 21:40] (current)
vkuncak created
Line 1: Line 1:
 +====== Lecture 10 ======
 +
 +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/​papers|Links to paper pdfs]]
  
 
sav07_lecture_10.txt · Last modified: 2007/04/24 21:40 by vkuncak