‹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