. . . . . . "Roberto Di Cosmo"@pt . . . . "Roberto Di Cosmo est un chercheur informaticien italien, install\u00E9 en France, membre du laboratoire Preuves, Programmes et Syst\u00E8mes de l'universit\u00E9 Paris Diderot."@fr . . . . . . . . . . . . . "218818"^^ . . . . . . . . . . . . . . "Roberto Di Cosmo"@fr . . . . . . . . . . . . . . . . . "Roberto Di Cosmo est un chercheur informaticien italien, install\u00E9 en France, membre du laboratoire Preuves, Programmes et Syst\u00E8mes de l'universit\u00E9 Paris Diderot."@fr . . . . . . . . . "Interview de Roberto Di Cosmo dans Sciences et Avenir de septembre 2009"@fr . "189007808"^^ . "4457"^^ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .