Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
sav08:intro [2009/03/23 14:05] vkuncak |
sav08:intro [2009/03/23 14:05] 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]] |