• Sign in
  • Sign up
conf.researchr.org / Massimo Bartoletti
  • ETAPS 2019 profile
  • ‹Programming› 2019 profile

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

Share
xSat 25 Mar 15:55
using conf.researchr.org (v1.59.1)
Support page
Sign Up