Boubezari, S. (1998). Analyse de testabilité au niveau transfert de registres [Thèse de doctorat, École Polytechnique de Montréal]. Disponible