Don't have Telegram yet? Try it now!
https://www.diariobitcoin.com/microsoft-anuncia-el-lanzamiento-de-verisol-un-sistema-de-verificacion-para-contratos-inteligentes-en-ethereum/
Microsoft anuncia el lanzamiento de VeriSol, un sistema de verificación para contratos inteligentes en Ethereum