Sofiène Tahar

Books that list Sofiène Tahar among their authors but not as the lead author: co-written works, collections and compilations.

Verification and Evaluation of Computer and Communication SystemsKamel Barkaoui

Verification and Evaluation of Computer and Communication Systems

Kamel Barkaoui · 2022

Formal Methods and Software EngineeringYi Li

Formal Methods and Software Engineering

Yi Li · 2023