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.

Ethereum Developer Network: Verifying smart contract properties with Harvey

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!

Online event

This event has passed

BlockchainTokyo

public group

Ethereum Developer Network: Verifying smart contract properties with Harvey