Différences
Cette page vous donne les différences entre la révision choisie et la version actuelle de la page.
freeboard [2014/01/23 17:15] Clément Poncelet |
freeboard [2014/06/24 16:44] (Version actuelle) Clément Poncelet |
||
---|---|---|---|
Ligne 6: | Ligne 6: | ||
==== A part of the formal methods History ==== | ==== A part of the formal methods History ==== | ||
{{:garavel-fm-14-v7-grenoble.pdf|}} | {{:garavel-fm-14-v7-grenoble.pdf|}} | ||
+ | |||
+ | === Link to HOP slides (open with Google Chrome) === | ||
+ | {{:ejcp14.tar.gz|}} |