Towards Secure and Trusted-by-Design Smart Contracts

Open in new window