TY  - RPRT
TI  - Protocol-based Smart Contract Generation
AU  - Afonso Falcão
AU  - Andreia Mordido
AU  - Vasco T. Vasconcelos
PY  - 2021
UR  - https://arxiv.org/abs/2108.02672
ID  - 2108.02672
ER  -