Sofiène Tahar

• Verification and Evaluation of Computer and Communication Systems
• Formal Methods and Software Engineering