Khaled El-Fakih

• Testing Software and Systems
• Formal Techniques for Networked and Distributed Systems - FORTE 2008