Reading Length
Home
Speed Tests
Login
Sofiène Tahar
Identifiers
Open Library
OL8446432A
Books by Sofiène Tahar
Total count: 2
Verification and Evaluation of Computer and Communication Systems
11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, ...
Springer
2017-08-15
Formal Methods and Software Engineering
24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings
Springer
2023-01-01
