文献
J-GLOBAL ID:202202238574867742
整理番号:22A0446556
スマートACEにおける通信抽象化による充実性スマート契約の検証【JST・京大機械翻訳】
Verifying Solidity Smart Contracts via Communication Abstraction in SmartACE
著者 (6件):
Wesley Scott
(University of Waterloo, Waterloo, Canada)
,
Christakis Maria
(MPI-SWS, Kaiserslautern and Saarbruecken, Germany)
,
Navas Jorge A.
(SRI International, Menlo Park, USA)
,
Trefler Richard
(University of Waterloo, Waterloo, Canada)
,
Wuestholz Valentin
(ConsenSys, Kaiserslautern, Germany)
,
Gurfinkel Arie
(University of Waterloo, Waterloo, Canada)
資料名:
Lecture Notes in Computer Science
(Lecture Notes in Computer Science)
巻:
13182
ページ:
425-449
発行年:
2022年
JST資料番号:
H0078D
ISSN:
0302-9743
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
ドイツ (DEU)
言語:
英語 (EN)