Mouhamad Almakhour, Layth Sliman, Abed Ellatif Samhat, Abdelhamid Mellouk. Verification of smart contracts: A survey. Pervasive and Mobile Computing, 67:101227, 2020. [doi]
No references recorded for this publication.
No citations of this publication recorded.