TY  - RPRT
TI  - A Formal Semantics of Findel in Coq (Short Paper)
AU  - Andrei Arusoaie
PY  - 2019
UR  - https://arxiv.org/abs/1909.05464
ID  - 1909.05464
ER  -