Differences

This shows you the differences between two versions of the page.

Link to this comparison view

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**