Vérification et correction des spécifications B : application à l'assemblage de composants. (Verification and Correction of B Specification in a CBSE approach). - Inès Mouakher Abdelmoula (2010)