TY  - RPRT
TI  - Formal verification in Solidity and Move: insights from a comparative analysis
AU  - Massimo Bartoletti
AU  - Silvia Crafa
AU  - Enrico Lipparini
PY  - 2025
DO  - 10.4230/oasics.fmbc.2025.3
UR  - https://arxiv.org/abs/2502.13929
ID  - 2502.13929
ER  -