Statistics
Publications
2
Citations
153
H-Index
2
Active since
2020
Mouhamad Almakhour is an author at Lebanese University specializing in verification, formal specification of contracts, and protocol verification.
Publications per year
2020–2022
2
2
Verification of smart contracts: A survey
Mouhamad Almakhour, Layth Sliman, Abed Ellatif Samhat et al. · Pervasive and Mobile Computing · 2020 · 122 citations · Full text
1–2 of 2