Sofiène Tahar · 2 obras en el catálogoObrasVerification and Evaluation of Computer and Communication SystemsFFormal Methods and Software EngineeringFormal Methods and Software Engineering