TY  - RPRT
TI  - A formal model of Algorand smart contracts
AU  - Massimo Bartoletti
AU  - Andrea Bracciali
AU  - Cristian Lepore
AU  - Alceste Scalas
AU  - Roberto Zunino
PY  - 2021
UR  - https://arxiv.org/abs/2009.12140
ID  - 2009.12140
ER  -