MASSY
RETROUVEZ GRATUITEMENTRésultat européenne à Massy.
Docteur en informatique, passionné par les méthodes formelles et leur application à la sûreté de fonctionnement. Mes compétences : coq Perl Simulink Linux OCaml