January 1, 2023· Elsevier eBooks
book-chapter
Open access
Formal verification and code generation for solidity 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.