January 1, 2020· Advances in intelligent systems and computing
conference-paper
An Event-B Based Approach for Formal Modelling and Verification of Smart Contracts
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.