@inbook {vstte2019,
	title = {solc-verify: A Modular Verifier for Solidity Smart Contracts},
	booktitle = {Verified Software. Theories, Tools, and Experiments},
	series = {Lecture Notes in Computer Science},
	volume = {12301},
	year = {2020},
	pages = {161--179},
	publisher = {Springer},
	organization = {Springer},
	type = {Conference},
	address = {New York City, USA},
	doi = {10.1007/978-3-030-41600-3_11},
	url = {https://link.springer.com/chapter/10.1007/978-3-030-41600-3_11},
	author = {{\'A}kos Hajdu and Jovanovi{\'c}, Dejan}
}
