TY  - RPRT
TI  - SmartML: Towards a Modeling Language for Smart Contracts
AU  - Adele Veschetti
AU  - Richard Bubel
AU  - Reiner Hähnle
PY  - 2024
UR  - https://arxiv.org/abs/2403.06622
ID  - 2403.06622
ER  -