Sofiène Tahar profile picture

Sofiène Tahar

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings
Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings
Formalized Probability Theory and Applications Using Theorem Proving