Microsoft et l'Inria font recherche commune en France

Microsoft et l'Inria font recherche commune en France
 

L'éditeur américain et l'institut français ouvrent un laboratoire de recherche fondamentale, qui travaillera notamment à l'amélioration de la qualité logicielle par les mathématiques.