Developing secure bitcoin contracts with BitML / Atzei, Nicola; Bartoletti, Massimo; Lande, Stefano; Yoshida, Nobuko; Zunino, Roberto. - (2019), pp. 1124-1128. (Intervento presentato al convegno ESEC/FSE 2019 tenutosi a Tallinn, Estonia nel August 26 - 30, 2019) [10.1145/3338906.3341173].

Developing secure bitcoin contracts with BitML

Zunino, Roberto
2019-01-01

2019
ESEC/FSE 2019 Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
New York, NY
ACM
9781450355728
Atzei, Nicola; Bartoletti, Massimo; Lande, Stefano; Yoshida, Nobuko; Zunino, Roberto
Developing secure bitcoin contracts with BitML / Atzei, Nicola; Bartoletti, Massimo; Lande, Stefano; Yoshida, Nobuko; Zunino, Roberto. - (2019), pp. 1124-1128. (Intervento presentato al convegno ESEC/FSE 2019 tenutosi a Tallinn, Estonia nel August 26 - 30, 2019) [10.1145/3338906.3341173].
File in questo prodotto:
File Dimensione Formato  
fse19demo-id19-p.pdf

Solo gestori archivio

Tipologia: Versione editoriale (Publisher’s layout)
Licenza: Tutti i diritti riservati (All rights reserved)
Dimensione 810.41 kB
Formato Adobe PDF
810.41 kB Adobe PDF   Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11572/241407
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 19
  • ???jsp.display-item.citation.isi??? 14
social impact