@inbook {esop2020,
	title = {SMT-Friendly Formalization of the Solidity Memory Model},
	booktitle = {European Symposium on Programming},
	series = {Lecture Notes in Computer Science},
	volume = {12075},
	year = {2020},
	pages = {224--250},
	publisher = {Springer},
	organization = {Springer},
	type = {Conference},
	doi = {10.1007/978-3-030-44914-8_9},
	url = {https://link.springer.com/chapter/10.1007/978-3-030-44914-8_9},
	author = {{\'A}kos Hajdu and Jovanovi{\'c}, Dejan}
}
