cx a22 3 45
188240039
http://www.idref.fr/188240039
20150915
20201023030930.000
315550001
315552331
Tp5
oatao188240039
OATAO
20190513
http://viaf.org/viaf/834144647709575707839
VIAF
VIAF
20200401
20150915afrey50 ba0
eng
FR
1985
0
1
0
ba
AFNOR
ba0yba0y
f|xxx
Dieumegard
Arnaud
1985-....
docteur en informatique
ba0yba0y
Auteur d'une thèse en Sureté de logiciel et calcul à haute performance, soutenue à l'INPT le 30 Janvier 2015
SCANR
102020
ESR
FR
Abes
20201023
AFNOR
Formal Guaranties for Safety Critical Code Generation: the Case of Highly Variable Languages. (Garanties formelles pour la génération de code critique : L’affaire des langages fortement variables.) / Arnaud Dieumegard ; dir. Yamine Ait-Ameur et Marc Pantel
Dieumegard, Arnaud (1985-.... ; docteur en informatique)