文献
J-GLOBAL ID:202202254307324869
整理番号:22A1053011
なぜ3-do:調和分散システム証明の方法【JST・京大機械翻訳】
Why3-do: The Way of Harmonious Distributed System Proofs
著者 (2件):
Lourenco Claudio Belo
(Huawei Research Centre, Cambridge, United Kingdom)
,
Pinto Jorge Sousa
(HASLab/INESC TEC & Universidade do Minho, Braga, Portugal)
資料名:
Lecture Notes in Computer Science
(Lecture Notes in Computer Science)
巻:
13240
ページ:
114-142
発行年:
2022年
JST資料番号:
H0078D
ISSN:
0302-9743
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
ドイツ (DEU)
言語:
英語 (EN)