TY  - RPRT
TI  - Automated Invariant Generation for Solidity Smart Contracts
AU  - Ye Liu
AU  - Chengxuan Zhang
AU  - Yi Li.
PY  - 2024
UR  - https://arxiv.org/abs/2401.00650
ID  - 2401.00650
ER  -