TY  - RPRT
TI  - Towards Secure and Trusted-by-Design Smart Contracts
AU  - Zaynah Dargaye
AU  - Önder Gürcan
AU  - Florent Kirchner
AU  - Sara Tucci-Piergiovanni
PY  - 2024
UR  - https://arxiv.org/abs/2403.16903
ID  - 2403.16903
ER  -