SciviK: A Versatile Framework for Specifying and Verifying Smart Contracts

Autor:	Shaokai Lin, Xinyuan Sun, Jianan Yao, Ronghui Gu
Rok vydání:	2021
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::790ffa129bd0845fed1fc39b8f472a06 https://doi.org/10.1142/9789811231711_0018 Zobrazit plný text záznamu