1.Move: an auditor’s introductionblog | 2022-09-06 00:00 | osec.io | Original ↗ | .md | #smart-contracts | #blockchain | #formal-verification