October 27, 2025· Software & Systems Modeling
article
Open access
Automated construction of predicate abstractions for smart contract validation
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.