‹Programming› 2019 (series) / Massimo Bartoletti
Not registered as user yet
Name:Massimo Bartoletti
Contributions
VPT 2019 | Modelling and verifying Bitcoin contracts. | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
‹Programming› 2019-profile
View general profile
View general profile