January 1, 2022Ā· SSRN Electronic Journal
preprint
Open access
Formalizing and Verifying the Behaviors of Interacting Smart Contracts Using Model Checking
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.