Samir Chouali (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

5 Samir Chouali, Maritta Heisel, Jeanine Souquières: Proving Component Interoperability with B Refinement. Electr. Notes Theor. Comput. Sci. 160: 157-172 (2006)

3 Jeanine Souquières, Samir Chouali: Verifying the compatibility of component interfaces using the B formal method. Software Engineering Research and Practice 2005: 850-856

Selection of 2 from 7 records - Samir Chouali has 7 coauthors

5		Samir Chouali, Maritta Heisel, Jeanine Souquières: Proving Component Interoperability with B Refinement. Electr. Notes Theor. Comput. Sci. 160: 157-172 (2006)
3		Jeanine Souquières, Samir Chouali: Verifying the compatibility of component interfaces using the B formal method. Software Engineering Research and Practice 2005: 850-856