文献
J-GLOBAL ID:202202288638342106
整理番号:22A1105041
Dartagnan:SMTベース違反証券検証(競争貢献)【JST・京大機械翻訳】
Dartagnan: SMT-based Violation Witness Validation (Competition Contribution)
著者 (3件):
Ponce-de-Leon Hernan
(Bundeswehr University Munich, Munich, Germany)
,
Haas Thomas
(TU Braunschweig, Braunschweig, Germany)
,
Meyer Roland
(TU Braunschweig, Braunschweig, Germany)
資料名:
Lecture Notes in Computer Science
(Lecture Notes in Computer Science)
巻:
13244
ページ:
418-423
発行年:
2022年
JST資料番号:
H0078D
ISSN:
0302-9743
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
ドイツ (DEU)
言語:
英語 (EN)