TY  - RPRT
TI  - From Contracts to Code: Automating Smart Contract Generation with Multi-Level Finite State Machines
AU  - Lambard Maxence
AU  - Bertelle Cyrille
AU  - Duvallet Claude
PY  - 2025
UR  - https://arxiv.org/abs/2507.16276
ID  - 2507.16276
ER  -