Guilherme Horta Alvares Da Silva, Wolfgang Ahrendt, Richard Bubel. Axiomatisation of Solidity Memory and Storage. In Domenico Bianculli, Elena Gómez-Martínez, editors, Software Engineering and Formal Methods - 23rd International Conference, SEFM 2025, Toledo, Spain, November 10-14, 2025, Proceedings. Volume 16192 of Lecture Notes in Computer Science, pages 73-90, Springer, 2025. [doi]
Abstract is missing.