Artículo 21 Artículo: Set-Based Models for Cryptocurrency Software Autor: Gustavo Betarte Video de Presentación