January 1, 2020· Lecture notes in computer science
conference-paper
Formal Verification of Workflow Policies for Smart Contracts in Azure Blockchain
Authors:Yuepeng Wang *Shuvendu K. LahiriShuo ChenRong PanIşıl DilligCody BornImmad NaseerKostas Ferles
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.