TY  - RPRT
TI  - Money grows on (proof-)trees: the formal FA1.2 ledger standard
AU  - Murdoch Gabbay
AU  - Arvid Jakobsson
AU  - Kristina Sojakova
PY  - 2021
DO  - 10.4230/oasics.fmbc.2021.2
UR  - https://arxiv.org/abs/2109.09451
ID  - 2109.09451
ER  -