Leveraging Applications of Formal Methods, Verification and Validation. Verification
8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
Lecture Notes in Computer Science 11245
Herausgegeben von Margaria, Tiziana
Steffen, Bernhard
- 出版社：Springer, Berlin; Springer International Publishing;
- 出版年月：2018年 00月
- ISBN：9783030034207
- 装丁：PAP
-
装丁について
- 言語：ENG
- 版次：1st ed. 2018. 2018. xiii