TY  - RPRT
TI  - Safety Verification of Declarative Smart Contracts
AU  - Haoxian Chen
AU  - Lan Lu
AU  - Brendan Massey
AU  - Yuepeng Wang
AU  - Boon Thau Loo
PY  - 2023
UR  - https://arxiv.org/abs/2211.14585
ID  - 2211.14585
ER  -