
2025-07-23 09:23:02
From Contracts to Code: Automating Smart Contract Generation with Multi-Level Finite State Machines
Lambard Maxence, Bertelle Cyrille, Duvallet Claude
https://arxiv.org/abs/2507.16276
From Contracts to Code: Automating Smart Contract Generation with Multi-Level Finite State Machines
Lambard Maxence, Bertelle Cyrille, Duvallet Claude
https://arxiv.org/abs/2507.16276