École des Mines d'Alès, 22 Jul 2016 Parution d'un article dans Science of Computer Programming · intitulé "A formal approach for managing component-based…