1 citations · 1 across the 1 of their papers we have counts for
1 paper · 1 filter
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…