文献
J-GLOBAL ID:202002271542909698
整理番号:20A2471950
Isabelle/HOLを用いたエーテルeumスマート契約の形式的検証【JST・京大機械翻訳】
Formal Verification of Ethereum Smart Contracts Using Isabelle/HOL
著者 (5件):
Ribeiro Maria
(Instituto Superior Tecnico, Universidade de Lisboa, Lisbon, Portugal)
,
Adao Pedro
(Instituto Superior Tecnico, Universidade de Lisboa, Lisbon, Portugal)
,
Adao Pedro
(Instituto de Telecomunicacoees, Lisbon, Portugal)
,
Mateus Paulo
(Instituto Superior Tecnico, Universidade de Lisboa, Lisbon, Portugal)
,
Mateus Paulo
(Instituto de Telecomunicacoees, Lisbon, Portugal)
資料名:
Lecture Notes in Computer Science
(Lecture Notes in Computer Science)
巻:
12300
ページ:
71-97
発行年:
2020年
JST資料番号:
H0078D
ISSN:
0302-9743
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
ドイツ (DEU)
言語:
英語 (EN)