SMT-Friendly Formalization of the Solidity Memory Model

CímSMT-Friendly Formalization of the Solidity Memory Model
Közlemény típusaBook Chapter
Kiadás éve2020
SzerzőkHajdu, Á., and Jovanović, D.
KönyvcímEuropean Symposium on Programming
SorozatcímLecture Notes in Computer Science
KiadóSpringer
Jegyzetek(Accepted)
URLhttps://arxiv.org/abs/2001.03256