Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
lat [2012/01/09 15:23] radu.iosif |
lat [2012/01/09 15:24] (current) radu.iosif |
||
|---|---|---|---|
| Line 41: | Line 41: | ||
| ===== ENS Lyon Course on Automata-Theoretic Model Checking ===== | ===== ENS Lyon Course on Automata-Theoretic Model Checking ===== | ||
| - | http://www.ens-lyon.fr/DI/?p=2320 | + | [[http://www.ens-lyon.fr/DI/?p=2320|ER01 : vérification et certification du logiciel]] |
| **Slides** | **Slides** | ||