Tests and Proofs
16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings
Lecture Notes in Computer Science 13361
Herausgegeben:Ková
cs, Laura
Meinke, Karl
- 出版社：Springer, Berlin; Springer International Publishing;
- 出版年月：2022年 00月
- ISBN：9783031098260
- 装丁：PAP
-
装丁について
- 言語：ENG
- 版次：1st ed. 2022. 2022. viii