Developing secure bitcoin contracts with BitML

Atzei, Nicola; Bartoletti, Massimo; Lande, Stefano; Yoshida, Nobuko; Zunino, Roberto

doi:10.1145/3338906.3341173

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

Atzei, Nicola;Bartoletti, Massimo;Lande, Stefano;Yoshida, Nobuko;Zunino, Roberto

2019-01-01

Scheda breve

Scheda completa

Scheda completa (DC)

	Anno di pubblicazione (Date of publication)
	
				2019
			
	Titolo del volume (Proceedings title)
	
				ESEC/FSE 2019 Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
			
	Luogo di edizione (Place of publication)
	
				New York, NY
			
	Casa editrice (Publisher)
	
				ACM
			
	ISBN
	
				9781450355728
			
	Codice Scopus (Scopus Identifier)
	
				2-s2.0-85071914633
			
	Codice WOS (WOS identifier)
	
				WOS:000485629300109
			
	Tutti gli autori
	
						Atzei, Nicola; Bartoletti, Massimo; Lande, Stefano; Yoshida, Nobuko; Zunino, Roberto
					
	Citazione
	
				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].
			
	Appare nelle tipologie:
	
				04.1 Saggio in atti di convegno (Paper in Proceedings)

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 Visualizza/Apri	810.41 kB	Adobe PDF	Visualizza/Apri