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