January 1, 2019· Lecture notes in computer science
conference-paper
Open access
Verification of Smart Contract Business Logic
Authors:Wolfgang Ahrendt *Richard BubelJoshua EllulGordon J. PaceRaĂșl PardoVincent RebiscoulGerardo Schneider
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.