TY  - RPRT
TI  - Smart Contracts Formal Verification: A Systematic Literature Review
AU  - Rene Davila
AU  - Everardo Barcenas
AU  - Rocio Aldeco-Perez
PY  - 2025
UR  - https://arxiv.org/abs/2510.17865
ID  - 2510.17865
ER  -