Automated Support for Writing High-Assurance Smart Contracts Download pdf Tags: Cryptography Applied Formal Methods and Language-based Security 1801369 1801321 SaTC PI Meeting 2019 Project Slides License: Creative Commons 2.5 Submitted by Jan Hoffman on Tue, 01/07/2020 - 09:46