Visible to the public Automated Support for Writing High-Assurance Smart Contracts

Submitted by Jan Hoffman on Tue, 01/07/2020 - 10:46am. Contributors:
License: 
Creative Commons 2.5

Other available formats:

Automated Support for Writing High-Assurance Smart Contracts
Switch to experimental viewer