TY  - RPRT
TI  - TRAC: a tool for data-aware coordination (with an application to smart contracts)
AU  - Joao Afonso
AU  - Elvis Konjoh Selabi
AU  - Maurizio Murgia
AU  - Antonio Ravara
AU  - Emilio Tuosto
PY  - 2024
UR  - https://arxiv.org/abs/2404.19523
ID  - 2404.19523
ER  -