文献
J-GLOBAL ID:202202287766408714
整理番号:22A0884622
モデルベース並列化アルゴリズムの定理証明器による形式検証
著者 (3件):
岩田駿
(名古屋大 大学院情報学研究科)
,
磯部祥尚
(産業技術総合研)
,
枝廣正人
(名古屋大 大学院情報学研究科)
資料名:
情報処理学会研究報告(Web)
(IPSJ Technical Report (Web))
巻:
2022
号:
ARC-248
ページ:
Vol.2022-ARC-248,No.54,1-10 (WEB ONLY)
発行年:
2022年03月03日
JST資料番号:
U0451A
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
日本 (JPN)
言語:
日本語 (JA)