Search everything
Home
Research Intelligence
Expert Finder
Paper Search
Journal Search
Collections
Favorites
History
Submit Feedback
doi.org/10.1016/j.pmcj.2020.101227
Review paper
Verification of smart contracts: A survey
Mouhamad Almakhour
4
,
Layth Sliman
,
Abdelhamid Mellouk
Pervasive and Mobile Computing
3.50
Volume: 67, Pages: 101227 - 101227
Published
: Aug 8, 2020
91
Citations
Sources
Cite
Basic Info
Analytics
References
Citations
Paper Fields
visible light
alexandrite
separation performance
association prediction
polycystic ovary syndrome
optimization_62635
scheduling_62291
musk
zimbabwe
bedding planes
Paper Details
Title
Verification of smart contracts: A survey
DOI
doi.org/10.1016/j.pmcj.2020.101227
Published Date
Aug 8, 2020
Journal
Pervasive and Mobile Computing
Volume
67
Pages
101227 - 101227
Notes
History
View all history