conf.researchr.org / Massimo Bartoletti
Not registered as user yet
Name:Massimo Bartoletti
Contributions
POST 2019 | Author of Verifying liquidity of Bitcoin contracts within the POST 2019-track |
VPT 2019 | Author of Modelling and verifying Bitcoin contracts. within the VPT 2019 -track |