January 1, 2019Ā· International Journal of Performability Engineering
article
A General Formal Memory Framework for Smart Contracts Verification based on Higher-Order Logic Theorem Proving
Abstract
No abstract metadata is available for this record.
Community
0 commentsUse Connect Wallet in the navigation
No discussion yet
Be the first to share a question or observation.