External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

On the specification and verification of atomic swap smart contracts (extended abstract)

Ron van der Meyden. On the specification and verification of atomic swap smart contracts (extended abstract). In IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2019, Seoul, Korea (South), May 14-17, 2019. pages 176-179, IEEE, 2019. [doi]

Authors

Ron van der Meyden

This author has not been identified. Look up 'Ron van der Meyden' in Google
runs on