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.

Developing secure bitcoin contracts with BitML

Nicola Atzei, Massimo Bartoletti, Stefano Lande, Nobuko Yoshida, Roberto Zunino. Developing secure bitcoin contracts with BitML. In Marlon Dumas, Dietmar Pfahl, Sven Apel, Alessandra Russo, editors, Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2019, Tallinn, Estonia, August 26-30, 2019. pages 1124-1128, ACM, 2019. [doi]

Authors

Nicola Atzei

This author has not been identified. Look up 'Nicola Atzei' in Google

Massimo Bartoletti

This author has not been identified. Look up 'Massimo Bartoletti' in Google

Stefano Lande

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

Nobuko Yoshida

This author has not been identified. Look up 'Nobuko Yoshida' in Google

Roberto Zunino

This author has not been identified. Look up 'Roberto Zunino' in Google
runs on