Tests and Proofs
18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings
Lecture Notes in Computer Science 15153
Herausgegeben:Huisman, Marieke
Howar, Falk
- 出版社:Springer, Berlin; Springer Nature Switzerland; Spring
- 出版年月:2024年 00月
- ISBN:9783031720437
- 装丁:PAP
-
装丁について
- 版次:2024. 2024. viii