cx a22 3 45
177435518
http://www.idref.fr/177435518
20140407
20201017113930.000
774689701
774689701
Tp5
http://viaf.org/viaf/308304294
VIAF
VIAF
20200401
20140407afrey50 ba0
eng
fre
FR
1985
0
1
0
ba
AFNOR
ba0yba0y
0
Fortin
Jean
1985-....
ba0yba0y
Titulaire d'un doctorat en Informatique (Université Paris-Est, 2013)
SCANR
102020
ESR
FR
Abes
20201017
AFNOR
BSP-Why, un outil pour la vérification déductive de programmes BSP : machine-checked semantics and application to distributed state-space algorithms / par Jean Fortin ; sous la direction de Frédéric Gava, 2013 [thèse]
Fortin, Jean (1985-....)