You are viewing a single comment's thread from:
RE: Join Kadena and Certik for a LIVE AMA on Formal Verification - May 7th at 3pm ET / 12pm PT
I've like to see a discussion on the Formal verification of smart contracts
I've like to see a discussion on the Formal verification of smart contracts