Brief Announcement: Holistic Verification of Blockchain Consensus
Domains
Computer Science [cs]
Origin : Files produced by the author(s)