![]() |
||
---|---|---|
|
||
|
||
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 | ||
| ![]() | |
Get the Flash Player to see this player.
| ||
" Prouver les applications du web " Karthikeyan Bhargavan - Directeur de recherche Inria - projet PROSECCO | ||
| ||