Laura Kovač (kovac-l)
Beiträge zu Philosophie.ch
No contributions yet
Bibliography
Kovač, Laura and Meinke, Karl, eds. 2022. Tests and Proofs. Proceedings of the 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022. Lecture Notes in Computer Science n. 13361. Berlin: Springer, doi:10.1007/978-3-031-09827-7.