From Contracts to Code: Automating Smart Contract Generation with Multi-Level Finite State Machines.

Lambard Maxence Cyrille Bertelle Claude Duvallet From Contracts to Code: Automating Smart Contract Generation with Multi-Level Finite State Machines. 2025 July abs/2507.16276 CoRR https://doi.org/10.48550/arXiv.2507.16276 db/journals/corr/corr2507.html#abs-2507-16276 streams/journals/corr