CINECA IRIS Institutional Research Information System

Towards automated verification of Bitcoin-based decentralised applications

Andrea Bracciali
Membro del Collaboration Group
;
2023-01-01
2023
38th ACM/SIGAPP Symposium on Applied Computing, SAC
Tallin, Estonia
March 27-31, 2023
Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing,{SAC} 2023
ACM
262
269
978-1-4503-9517-5
https://doi.org/10.1145/3555776.3578996
Stefano Bistarelli, Andrea Bracciali, Rick Klomp, Ivan Mercanti
04A-Conference paper in volume
File in questo prodotto:
File Dimensione Formato  
22_paper.pdf

Accesso riservato

Tipo di file: POSTPRINT (VERSIONE FINALE DELL’AUTORE)
Dimensione 628 kB
Formato Adobe PDF
  Visualizza/Apri   Richiedi una copia
628 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

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/2318/2038295
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact