TY  - RPRT
TI  - PrettiSmart: Visual Interpretation of Smart Contracts via Simulation
AU  - Xiaolin Wen
AU  - Tai D. Nguyen
AU  - Lun Zhang
AU  - Jun Sun
AU  - Yong Wang
PY  - 2024
UR  - https://arxiv.org/abs/2412.18484
ID  - 2412.18484
ER  -