Set-Based Models for Cryptocurrency Software

Gustavo Betarte, Maximiliano Cristiá, Carlos Luna +2

Emin Gün Sirer once said: It's clear that writing a robust, secure smart contract requires extreme amounts of diligence. It's more similar to writing code for a nuclear power react…