Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
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