@misc{indiciaed877bba6084b,
  title = {Set-Based Models for Cryptocurrency Software},
  author = {Gustavo Betarte and Maximiliano Cristiá and Carlos Luna and Adrián Silveira and Dante Zanarini},
  year = {2019},
  url = {https://arxiv.org/abs/1908.00591},
  note = {Source identifier: 1908.00591}
}