Skip to main content
Cryptoeconomic Systems
Search
Dashboard
caret-down
Login
Login or Signup
Pub
caret-down
overview
caret-down
Pub
Dashboard
caret-down
Overview
Activity
Reviews
Connections
Impact
R
Review Summary: Bitcoin Trace-Net: Formal Contract Verification at Signing Time
Cryptoeconomic Systems
Review Summary: Bitcoin Trace-Net: Formal Contract Verification at Signing Time
overview
Go to Pub
pub
Overview
Review Summary: Bitcoin Trace-Net: Formal Contract Verification at Signing Time
Created on
Oct 18, 2021
Published on
Oct 22, 2021
Cite As
Youngblom, R. (Ed.). (2021). Review Summary: Bitcoin Trace-Net: Formal Contract Verification at Signing Time.
Cryptoeconomic Systems
,
1
(2). https://doi.org/10.21428/58320208.a1e776d2
duplicate
Copy
more
More Cite Options
Contributors
RY
Reuben Youngblom
MIT Digital Currency Initiative
Roles: Editor
Appears in Collections (1)
Volume 1, Issue 2
Release #1 (latest)
Oct 18, 2021 3:22 PM
Pub created
Oct 18, 2021 2:20 PM