Verified Software: Theories, Tools and Experiments
6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
Lecture Notes in Computer Science / Programming and Software Engineering .8471
Herausgegeben von Giannakopoulou, Dimitra
Kroening, Daniel
- 出版社：Springer, Berlin; Springer International Publishing
- 出版年月：2014年 10月
- ISBN：9783319121536
- 装丁：PAP
-
装丁について
- 言語：ENG
- 版次：2014. 2014. x
- 巻数・ページ数：275 p.