文献
J-GLOBAL ID:202002275441746560
整理番号:20A0592065
MSVLによるpythonプログラムのモデル検査【JST・京大機械翻訳】
Model Checking Python Programs with MSVL
著者 (6件):
Shu Xinfeng
(School of Computer Science and Technology, Xi’an University of Posts and Telecommunications, Xi’an, China)
,
Gao Fengyun
(School of Computer Science and Technology, Xi’an University of Posts and Telecommunications, Xi’an, China)
,
Gao Weiran
(School of Computer Science and Technology, Xi’an University of Posts and Telecommunications, Xi’an, China)
,
Zhang Lili
(School of Computer Science and Technology, Xi’an University of Posts and Telecommunications, Xi’an, China)
,
Wang Xiaobing
(Institute of Computing Theory and Technology and ISN Laboratory, Xidian University, Xi’an, China)
,
Zhao Liang
(Institute of Computing Theory and Technology and ISN Laboratory, Xidian University, Xi’an, China)
資料名:
Lecture Notes in Computer Science
(Lecture Notes in Computer Science)
巻:
12028
ページ:
205-224
発行年:
2020年
JST資料番号:
H0078D
ISSN:
0302-9743
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
ドイツ (DEU)
言語:
英語 (EN)