Abstract: SMT-Friendly Formalization of the Solidity Memory Model

Download PDF

Ákos Hajdu, Dejan Jovanovic

Published: 01 Jan 2020, Last Modified: 09 Feb 2025SMT 2020EveryoneRevisionsBibTeXCC BY-SA 4.0