Talents, Recherche
Coq, lauréat du Prix « science ouverte du logiciel libre de la recherche »
… (CNRS) et Christine Paulin (Univ. Paris-Saclay, Faculté des Sciences d'Orsay) ont été responsables du développement des … académique mais aussi industrielle et ceci dans un contexte international. Le système Coq a ainsi été le premier … (CNRS) et Christine Paulin (Univ. Paris-Saclay, Faculté des Sciences d'Orsay) ont été responsables du développement des …Article publié le: