Jeanine Souquières

Documents

Présentation

830304

	On the Evolution of Component-based Software Isabelle Coté , Maritta Heisel , Jeanine Souquières 4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. ⟨10.1007/978-3-642-28038-2_5⟩ Communication dans un congrès inria-00431436v1

	Proving Component Interoperability with B Refinement Samir Chouali , Maritta Heisel , Jeanine Souquières [Research Report] 2005 Rapport inria-00000171v1