Sankaranarayanan, S. und Sharygina, N. (Hrsg.) (2023) Tools and Algorithms for the Construction and Analysis of Systems : 29 th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part II [cd]. 1 st ed. 2023, Lecture Notes in Computer Science. 1 st ed. 2023. Cham: Springer Nature Switzerland. doi:10.1007/978-3-031-30820-8.

Sankaranarayanan, Sriram, und Natasha Sharygina, Hrsg. Tools and Algorithms for the Construction and Analysis of Systems : 29 th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part II. Cd. Lecture Notes in Computer Science. 1 st ed. 2023. Cham: Springer Nature Switzerland, [2023?], Cham: Springer Nature Switzerland, [2023?]. https://doi.org/10.1007/978-3-031-30820-8.

Tools and Algorithms for the Construction and Analysis of Systems : 29 th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part II. (ca. 2023). [Cd]. In S. Sankaranarayanan & N. Sharygina (Hrsg.), Lecture Notes in Computer Science (1 st ed. 2023). Springer Nature Switzerland. https://doi.org/10.1007/978-3-031-30820-8

Sankaranarayanan, S., und N. Sharygina, Herausgeber. „Tools and Algorithms for the Construction and Analysis of Systems : 29 th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part II“. Lecture Notes in Computer Science, 1 st ed. 2023, cd, Springer Nature Switzerland, 2023, https://doi.org/10.1007/978-3-031-30820-8.

SANKARANARAYANAN, Sriram und Natasha SHARYGINA (Hrsg.). 1 st ed. 2023. Cham: Springer Nature Switzerland. ISBN 9783031308208