Matteo Marescotti, Rodrigo Otoni, Leonardo Alt, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina. Accurate Smart Contract Verification Through Direct Modelling. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation: Applications - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III. Volume 12478 of Lecture Notes in Computer Science, pages 178-194, Springer, 2020. [doi]
@inproceedings{MarescottiOAEHS20,
title = {Accurate Smart Contract Verification Through Direct Modelling},
author = {Matteo Marescotti and Rodrigo Otoni and Leonardo Alt and Patrick Eugster and Antti E. J. Hyvärinen and Natasha Sharygina},
year = {2020},
doi = {10.1007/978-3-030-61467-6_12},
url = {https://doi.org/10.1007/978-3-030-61467-6_12},
researchr = {https://researchr.org/publication/MarescottiOAEHS20},
cites = {0},
citedby = {0},
pages = {178-194},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation: Applications - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III},
editor = {Tiziana Margaria and Bernhard Steffen},
volume = {12478},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-61467-6},
}