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

Not registered as user

Name:Massimo Bartoletti

Contributions

2025

CISOSE

  • Committee Member in Program Committee within the IEEE DAPPS 2025-track

2019

POST

  • Author of Verifying liquidity of Bitcoin contracts within the POST 2019-track

VPT

  • Author of Modelling and verifying Bitcoin contracts. within the VPT 2019 -track
Share
xTue 13 May 21:06
using conf.researchr.org (v1.69.0)
Support page
Sign Up