Rachida Dssouli

• Formal Description Techniques VIII
• Testing of Communicating Systems