TY  - RPRT
TI  - Declarative Smart Contracts
AU  - Haoxian Chen
AU  - Gerald Whitters
AU  - Mohammad Javad Amiri
AU  - Yuepeng Wang
AU  - Boon Thau Loo
PY  - 2022
UR  - https://arxiv.org/abs/2207.13827
ID  - 2207.13827
ER  -