Cover Image
Read Now

1
Published 2022
Springer International Publishing
Table of Contents: “... of Smart Contracts with the Move Prover -- A Max-SMT Superoptimizer for EVM handling Memory and Storage...”