Automated Technology for Verification and Analysis
14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings
Lecture Notes in Computer Science .9938
Herausgegeben von Artho, Cyrille
Legay, Axel
Peled, Doron
- 出版社：Springer, Berlin; Springer International Publishing
- 出版年月：2016年 09月
- ISBN：9783319465197
- 装丁：PAP
-
装丁について
- 版次：1st ed. 2016. 2016. xi