Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
sav07_resource [2008/02/15 18:29] vkuncak |
sav07_resource [2008/02/18 15:13] vkuncak |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | ====== SAV07 Resources ====== | + | ====== Resources on Software Analysis and Verification ====== |
| ==== Related lecture notes and books ==== | ==== Related lecture notes and books ==== | ||