RETROUVEZ GRATUITEMENTLe résultat des européennes à Massy ainsi que le résultat des européennes en Seine-Maritime.
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