LARA

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
sav08:intro [2008/06/25 10:34]
vkuncak
sav08:intro [2009/03/23 14:05]
vkuncak
Line 1: Line 1:
 ====== Software Analysis and Verification 2008 ====== ====== Software Analysis and Verification 2008 ======
  
-(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|Software Analysis and Verification 2009]]
  
 [[General Information]] [[General Information]]