RT @wgrieskamp: Why specification and formal verification is important for smart contracts and supported as a 1st class citizen

05 Jan 2023, 01:33
RT @wgrieskamp: Why specification and formal verification is important for smart contracts and supported as a 1st class citizen in #MoveLan…