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.

Towards automated verification of Bitcoin-based decentralised applications

Stefano Bistarelli, Andrea Bracciali, Rick Klomp, Ivan Mercanti. Towards automated verification of Bitcoin-based decentralised applications. In Jiman Hong, Maart Lanperne, Juw Won Park, Tomás Cerný, Hossain Shahriar, editors, Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, SAC 2023, Tallinn, Estonia, March 27-31, 2023. pages 262-269, ACM, 2023. [doi]

Authors

Stefano Bistarelli

This author has not been identified. Look up 'Stefano Bistarelli' in Google

Andrea Bracciali

This author has not been identified. Look up 'Andrea Bracciali' in Google

Rick Klomp

This author has not been identified. Look up 'Rick Klomp' in Google

Ivan Mercanti

This author has not been identified. Look up 'Ivan Mercanti' in Google
runs on