Let's imagine the futureNovember 8 and 9 2012 |
||
|
||
Les exposés scientifiques8 novembre 2012 |
||
|
||
|
||
Get the Flash Player to see this player.
| ||
" Vérifier automatiquement la sûreté des logiciels critiques " Xavier Rival - Chargé de recherche Inria - Projet Abstraction | ||
| Les transparents (PDF) | |
Get the Flash Player to see this player.
| ||
" Prouver les applications du web " Karthikeyan Bhargavan - Directeur de recherche Inria - projet PROSECCO | ||
| ||