Documents Savoirs Decision Procedures for the Formal Analysis of Software [3mm ... D. Déharbe, P. Fontaine, Silvio Ranise, C. Ringeissen
Documents Education Elaborations et caractérisations micro et nanostructurales d’alliages à base de titane à destination biomédicale