Oumaima Barhoumi

According to our database, Oumaima Barhoumi authored at least 1 paper in 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Formal Analysis of Vehicular Crash Severity Using KeYmaera X.

Oumaima Barhoumi, Mohamed H. Zaki, Sofiène Tahar

Proceedings of the Symbolic Computation in Software Science - 10th International Symposium, 2024