非表示:
出版物名:
Leveraging Applications of Formal Methods, Verification and Validation
省略形
:
ISoLA 2016
副タイトル
:
Discussion, Dissemination, Applications ; 7th International Symposium, ISoLA 2016 ; Imperial, Corfu, Greece, October 10-14, 2016 ; Proceedings, Part II
種別:
会議論文集
著者・編者:
Margaria, Tiziana1, 編集者
Steffen, Bernhard1, 編集者
所属:
1
External Organizations, ou_persistent22
出版社, 出版地:
Berlin : Springer
ページ:
-
巻号:
-
通巻号:
-
開始・終了ページ:
626 - 632
識別子(ISBN, ISSN, DOIなど):
ISBN: 978-3-319-47168-6