Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

sav08:intro [2009/03/23 14:05]
vkuncak
sav08:intro [2009/03/23 14:05] (current)
vkuncak
Line 2: Line 2:
  
 Taught in Spring 2008 by [[http://​lara.epfl.ch/​~kuncak|Viktor Kuncak]] and [[http://​icwww.epfl.ch/​~piskac/​|Ruzica Piskac]] from the [[http://​lara.epfl.ch|LARA group]]. Taught in Spring 2008 by [[http://​lara.epfl.ch/​~kuncak|Viktor Kuncak]] and [[http://​icwww.epfl.ch/​~piskac/​|Ruzica Piskac]] from the [[http://​lara.epfl.ch|LARA group]].
-  * later edition: [[sav09:​top|Advanced Topics in Software Analysis and Verification 2009]]+  * later edition: [[sav09:​top|Software Analysis and Verification 2009]]
  
 [[General Information]] [[General Information]]
 
sav08/intro.txt · Last modified: 2009/03/23 14:05 by vkuncak
 
© EPFL 2018 - Legal notice