非表示:
出版物名:
Computer Aided Verification
副タイトル
:
29th International Conference, CAV 2017
Heidelberg, Germany, July 24-28, 2017 ;
Proceedings, Part I
省略形
:
CAV 2017
種別:
会議論文集
著者・編者:
Majumdar, Rupak1, 編集者
Kunčak, Viktor2, 著者
所属:
1
Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society, ou_2105292
2
External Organizations, ou_persistent22
出版社, 出版地:
Berlin : Springer
ページ:
-
巻号:
-
通巻号:
-
開始・終了ページ:
30 - 46
識別子(ISBN, ISSN, DOIなど):
ISBN: 978-3-319-63386-2