Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
sav08:intro [2008/06/25 10:27] vkuncak |
sav08:intro [2008/06/25 10:32] vkuncak |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== Software Analysis and Verification 2008 ====== | ====== Software Analysis and Verification 2008 ====== | ||
| - | (Taught 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]].) |
| [[General Information]] | [[General Information]] | ||