TY  - RPRT
TI  - Automatic Code and Test Generation of Smart Contracts from Coordination Models
AU  - Elvis Konjoh Selabi
AU  - Maurizio Murgia
AU  - António Ravara
AU  - Emilio Tuosto
PY  - 2026
UR  - https://arxiv.org/abs/2604.20507
ID  - 2604.20507
ER  -