Verification, Model Checking, and Abstract Interpretation
17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
Lecture Notes in Computer Science .9583
Herausgegeben von Jobstmann, Barbara
Leino, K. Rustan M.
- 出版社：Springer, Berlin; Springer Berlin Heidelberg; Springe
- 出版年月：2015年 12月
- ISBN：9783662491218
- 装丁：PAP
-
装丁について
- 版次：1st ed. 2016. 2016. xiii