Journées Scientifiques 2013Mardi 25 juin 2013 |
Certification et Veille basée sur la sémantiqueL'exposé de Fabrice Le Fessant |
|
Fabrice Le Fessant OCamlPro, promouvoir l’utilisation dans l’industrie d’un langage issu de la recherche (durée: 18:31 mn)
|
Les transparents |