Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
fv [2021/10/29 19:03] vkuncak |
fv [2021/10/29 19:04] vkuncak |
||
|---|---|---|---|
| Line 7: | Line 7: | ||
| ---- | ---- | ||
| - | Old pages: [[fv20:top|Formal Verification 2020]], [[fv19:top|Formal Verification 2019]] | + | Old pages: [[fv20:top|Formal Verification 2020]], [[fv19:top|Formal Verification 2019]], and other web pages from [[sav08:intro|2008]] onwards with hidden gems of wisdom. |