RT @CertoraInc: Speaker announcement.

24 Feb 2023, 17:13
RT @CertoraInc: Speaker announcement! @wgrieskamp from @aptoslabs will speak about “Practical formal verification with the Move prover on…