Article de périodique
Entretien avec Xavier Leroy : "En informatique la notion de confiance est fondamentale"
- Dans le périodique : La Recherche (Paris. 1970), n°548 (06/2019) p.4-8
-
- Personne interviewée : Xavier Leroy
- Intervieweur : Philippe Pajot
Entretien avec Xavier Leroy, responsable de la chaire sciences du logiciel au Collège de France et spécialiste de la sémantique des langages informatiques, à propos de la vérification des logiciels : la définition d'un programme, le rôle des lan[...]
