Automatisation de la certification formelle de systèmes critiques par instrumentation d'interpréteurs abstraits
Aug. 27, 2010
Manuel GARNACHO / VERIMAG
Tags: soutenance thèse
Comments have been disabled for this video.