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)

Property Ownership Formal Modelling Using Event-B and iUML-B. - Manar Altamimi; Nawfal Al Hashimy; Asieh Salehi Fathabadi; Gary B. Wills (ABZ, 2024)