Microsoft releases an open-source formal verification tool for Solidity smart contracts

http://bit.ly/2Z8zyYa

Submitted June 04, 2019 at 08:23AM

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)