Blockchain Coders Win Grant to Fix Smart Contracts With ‘Legalese’ –
In the wake of The DAO’s demise, new efforts are beginning to emerge that seek to address the challenges developers have so far faced working with smart contracts, the key building blocks tha…