Verifying, testing and running smart contracts in Concert, Annenkov, Milo, Nielsen and Spitters
Channel: FMBC 2020
Date: 19/07/2020

Verifying, testing and running smart contracts in ConCert, Danil Annenkov, Mikkel Milo, Jakob Botsch Nielsen and Bas Spitters