Licence Creative Commons Automatisation de la certification formelle de systèmes critiques par instrumentation d'interpréteurs abstraits

27 août 2010
Durée : 00:47:36
Nombre de vues 6
Nombre d’ajouts dans une liste de lecture 0
Nombre de favoris 0
Manuel GARNACHO / VERIMAG

Mots clés : soutenance thèse

 Informations

  • Ajouté par : Gricad Vidéos
  • Mis à jour le : 1 janvier 2021 00:00
  • Chaîne :
  • Type : Autres
  • Langue principale : Français
Les commentaires ont été désactivés pour cette vidéo.