Automatisation de la certification formelle de systèmes critiques par instrumentation d'interpréteurs abstraits
27 août 2010
Manuel GARNACHO / VERIMAG
Mots clés : soutenance thèse
Les commentaires ont été désactivés pour cette vidéo.