Overview · Bitcoin Trace-Net: Formal Contract Verification at Signing Time

pub Overview

Bitcoin Trace-Net: Formal Contract Verification at Signing Time

Created on

Aug 18, 2021

Published on

Oct 22, 2021

Last released on

Oct 21, 2021

Cite As

Chiang, J. (2021). Bitcoin Trace-Net: Formal Contract Verification at Signing Time. Cryptoeconomic Systems, 1(2). https://doi.org/10.21428/58320208.ec1e7cd2

DOI

10.21428/58320208.ec1e7cd2

Contributors

James Chiang

Technical University of Denmark

Reuben Youngblom

MIT Digital Currency Initiative

Roles: Editor

Appears in Collections (1)

Volume 1, Issue 2

Release #4 (latest)

Oct 21, 2021 12:26 AM

Release #3

Oct 07, 2021 6:38 PM

Release #2

Aug 18, 2021 3:37 AM

Release #1

Aug 18, 2021 3:35 AM

Pub created

Aug 18, 2021 2:23 AM