1 citations · 1 across the 1 of their papers we have counts for
1 paper
Massimo Bartoletti, Fabio Fioravanti, Giulia Matricardi +2
Formal verification of smart contracts has become a hot topic in academic and industrial research, given the growing value of assets managed by decentralized applications and the c…