Axiomatisation of Solidity Memory and Storage.

Guilherme Horta Alvares Da Silva, Wolfgang Ahrendt, Richard Bubel

Browse the full SEFM paper archive.