非表示:
出版物名:
Verification, Model Checking, and Abstract Interpretation
副タイトル
:
15th International Conference, VMCAI 2014 ; San Diego, CA, USA, January 19-21, 2014 ; Proceedings
省略形
:
VMCAI 2014
種別:
会議論文集
著者・編者:
McMillan, Kenneth L.1, 編集者
Rival, Xavier1, 編集者
所属:
1
External Organizations, ou_persistent22
出版社, 出版地:
Berlin : Springer
ページ:
-
巻号:
-
通巻号:
-
開始・終了ページ:
98 - 117
識別子(ISBN, ISSN, DOIなど):
ISBN: 978-3-642-54012-7