Automated Technology for Verification and Analysis
7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings
Programming and Software Engineering
Liu, Z. (EDT)
Ravn, A. P. (EDT)
- 出版社：Springer
- 出版年月：2009年 10月
- ISBN：9783642047602
- 装丁：PAP
-
装丁について
- 言語：ENG
- 巻数・ページ数：414 p.
- 分類： セキュリティ一般
- DDC分類：004