TY  - RPRT
TI  - Solvent: liquidity verification of smart contracts
AU  - Massimo Bartoletti
AU  - Angelo Ferrando
AU  - Enrico Lipparini
AU  - Vadim Malvone
PY  - 2024
DO  - 10.1007/978-3-031-76554-4_14
UR  - https://arxiv.org/abs/2404.17864
ID  - 2404.17864
ER  -