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

Aug. 27, 2010
Duration: 00:47:36
Number of views 6
Addition in a playlist 0
Number of favorites 0
Manuel GARNACHO / VERIMAG

Tags: soutenance thèse

 Infos

  • Added by: Gricad Vidéos
  • Updated on: Jan. 1, 2021, midnight
  • Channel:
  • Type: Other
  • Main language: French
Comments have been disabled for this video.