Microsoft anuncia sistema de verificación para contratos inteligentes en Ethereum
Microsoft anunció el desarrollo de un sistema de verificación para contratos inteligentes al cual llamará VeriSol. El mismo estará especialmente diseñado para el!-->…