Verifying Solidity Smart Contracts via Communication Abstraction in SmartACE

Autor:	Scott Wesley, Maria Christakis, Jorge A. Navas, Richard Trefler, Valentin Wüstholz, Arie Gurfinkel
Rok vydání:	2022
Zdroj:	Lecture Notes in Computer Science ISBN: 9783030945824
DOI:	10.1007/978-3-030-94583-1_21
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::4572a81747029148f4b51f975e49cc4a https://doi.org/10.1007/978-3-030-94583-1_21 Zobrazit plný text záznamu