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