TY  - THES
DP  - http://www.theses.fr/2017INPT0061
TI  - A formal approach for correct-by-construction system substitution
AU  - Babin, Guillaume
A3  - Aït-Ameur, Yamine; Pantel, Marc
PY  - 2017
N1  - Thèse de doctorat Sureté de Logiciel et Calcul à Haute Performance Toulouse, INPT 2017
N1  - 2017INPT0061
UR  - http://www.theses.fr/2017INPT0061/document
ER  -