Ethereum Developer Network: Verifying smart contract properties with Harvey

Name: Ethereum Developer Network: Verifying smart contract properties with Harvey
Start: 2020-07-22T08:00:00+09:00
End: 2020-07-22T09:00:00+09:00

Hosted by Tom L.

Meet the group

BlockchainTokyo

No reviews yet

Details

Check out this Meetup with Ethereum Developer Alliance http://meetu.ps/e/Jbdzc/Cv5fZ/d

Please sign up to see the latest technology and techniques in making smart contracts safer!

Ethereum Developer Network: Verifying smart contract properties with Harvey

BlockchainTokyo

Details

Members are also interested in