Report - A formal model of Bitcoin transactionsfc18.ifca.ai › preproceedings › 92.pdfA formal model of Bitcoin transactions Nicola Atzei 1, Massimo Bartoletti , Stefano Lande , Roberto

Please pass captcha verification before submit form