Canal-U_Ocms 17331 <string language="fre"><![CDATA[Preuve automatique de la sûreté de logiciels critiques]]></string> LOMFRv1.0 image en mouvement LOMv1.0 content provider 2012-12-06 LOMv1.0 author 2012-12-06 LOMv1.0 LOMFRv1.0 video/mp4 3399692411 PT0H36M48S LOMv1.0 lecture LOMv1.0 master LOMv1.0 doctorat LOMv1.0 no LOMv1.0 no LOMv1.0 ispartof URI https://www.canal-u.tv/producteurs/inria/rencontres_autour_d_un_sujet_scientifique_unithe_ou_cafe/la_demi_heure_de_science_pourquoi_mene_t_on_des_recherches_dans_ce_domaine_la_inria_paris_rocquencourt LOMv1.0 discipline LOMv1.0 discipline CDD 22e éd. DDC 22nd ed. 005.14