TY  - BOOK
AU  - Kovács,Laura
AU  - Meinke,Karl
TI  - Tests and Proofs: 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings 
T2  - Lecture Notes in Computer Science,
SN  - 9783031098277
U1  - 160 23
PY  - 2022///
CY  - Cham
PB  - Springer International Publishing, Imprint: Springer
KW  - Logic
KW  - Computer science
KW  - Formal Logic
KW  - Models of Computation
N2  - This book constitutes the proceedings of the 16th International Conference on Tests and Proofs, TAP 2022, which was held as part of Software Technologies: Applications and Foundations, STAF 2022, and took place in Nantes, France in July 2022. The 6 full papers together with 1 invited extended abstract included in this volume were carefully reviewed and selected from 11 submissions. They were organized in topical sections on formal analysis, and proofs, and effective testing
UR  - https://doi.org/10.1007/978-3-031-09827-7
ER  -