Tests and Proofs : 16th International Conference, TAP 2022, Held As Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings

MLA

Kovács, Laura, and Karl Meinke. Tests and Proofs : 16th International Conference, Tap 2022, Held As Part of Staf 2022, Nantes, France, July 5, 2022, Proceedings. Cham: Springer International Publishing AG, 2022.

APA

Kovács, L., & Meinke, K. (2022). Tests and Proofs : 16th International Conference, TAP 2022, Held As Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings. Cham: Springer International Publishing AG.

Chicago

Kovács, Laura., and Karl Meinke. Tests and Proofs : 16th International Conference, TAP 2022, Held As Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings. Cham: Springer International Publishing AG, 2022.