TY  - RPRT
TI  - Set-Based Models for Cryptocurrency Software
AU  - Gustavo Betarte
AU  - Maximiliano Cristiá
AU  - Carlos Luna
AU  - Adrián Silveira
AU  - Dante Zanarini
PY  - 2019
UR  - https://arxiv.org/abs/1908.00591
ID  - 1908.00591
ER  -