Documente Cunoștințe Decision Procedures for the Formal Analysis of Software [3mm ... D. Déharbe, P. Fontaine, Silvio Ranise, C. Ringeissen
Documente Educație Elaborations et caractérisations micro et nanostructurales d’alliages à base de titane à destination biomédicale
Documente Cunoștințe Systèmes probabilistes : modèles, vérification et simulation Marie Duflot-Kremer