Symbolic Execution and Quantitative Reasoning
Applications to Software Safety and Security
Synthesis Lectures on Software Engineering
Pasareanu, Corina S.
- 出版社：Springer, Berlin; Springer International Publishing;
- 出版年月：2020年 00月
- ISBN：9783031014239
- 装丁：PAP
-
装丁について
- 版次：2020. ix