Manar Altamimi

According to our database, Manar Altamimi authored at least 2 papers between 2022 and 2024.

Collaborative distances:

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

2024

Property Ownership Formal Modelling Using Event-B and iUML-B.

Manar Altamimi, Nawfal Al Hashimy, Asieh Salehi Fathabadi, Gary B. Wills

Proceedings of the Rigorous State-Based Methods - 10th International Conference, 2024

2022

Expert Review of the Land Registration Framework in the Kingdom of Saudi Arabia.

Manar Altamimi, Gary B. Wills, Nawfal Al Hashimy

Int. J. ICT Res. Afr. Middle East, 2022