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, nr. 13361 Editat de Laura Kovács et al. 22 iun 2022 Paperback Preț: 379.09 lei 43-57 zile