A Max-SMT Superoptimizer for EVM handling Memory and Storage
- Albert, E.
- Gordillo, P.
- Hernández-Cerezo, A.
- Rubio, A.
ISSN: 1611-3349, 0302-9743
ISBN: 9783030995232
Argitalpen urtea: 2022
Alea: 13243 LNCS
Orrialdeak: 201-219
Mota: Biltzar ekarpena