3,829 followers twigwam @twigwam Formal Specification and Verification of Smart Contracts | SpringerLink https://t.co/EjvUcAbEGx #smartcontracts 02 Nov 2019 Reply Repost Favourite