TY  - THES
DP  - http://www.theses.fr/2015LORR0181
TI  - Développement d'algorithmes répartis corrects par construction
AU  - Andriamiarina, Manamiary Bruno
A3  - Méry, Dominique
PY  - 2015
N1  - Thèse de doctorat Informatique Université de Lorraine 2015
N1  - 2015LORR0181
UR  - http://www.theses.fr/2015LORR0181/document
ER  -