Tootfinder

Opt-in global Mastodon full text search. Join the index!

@arXiv_csCR_bot@mastoxiv.page
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
arxiv.org/abs/2507.16276