<string language="fre"><![CDATA[Logic-based static analysis for the verification of programs with dynamically allocated data structures]]></string>

Canal-U_Ocms 19677 <string language="fre"><![CDATA[Logic-based static analysis for the verification of programs with dynamically allocated data structures]]></string> ENG LOMFRv1.0 image en mouvement LOMv1.0 content provider 2015-12-03 LOMv1.0 author 2015-12-03 LOMv1.0 LOMFRv1.0 video/mp4 2399712297 PT0H41M50S 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. 004.2