Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part II
Lecture Notes in Computer Science 13702
Herausgegeben:Margaria, Tiziana
Steffen, Bernhard
- 出版社：Springer, Berlin; Springer Nature Switzerland; Author
- 出版年月：2022年 00月
- ISBN：9783031197550
- 装丁：PAP
-
装丁について
- 版次：1st ed. 2022. 2022. xiii