@conference {319,
	title = {Accurate Smart Contract Verification through Direct Modelling},
	booktitle = {ISoLA 2020 - 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation},
	year = {2020},
	publisher = {Springer International Publishing},
	organization = {Springer International Publishing},
	isbn = {978-3-030-61467-6},
	doi = {doi.org/10.1007/978-3-030-61467-6_12},
	url = {https://link.springer.com/chapter/10.1007\%2F978-3-030-61467-6_12},
	author = {Matteo Marescotti and Rodrigo Otoni and Leonardo Alt and Patrick Eugster and Antti E. J. Hyv{\"a}rinen and Natasha Sharygina}
}
