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 I. [ca. 2023]. In S. Sankaranarayanan & N. Sharygina (Hrsg.), Lecture Notes in Computer Science (1 st ed. 2023) [Cd]. Cham: Springer Nature Switzerland. https://doi.org/10.1007/978-3-031-30823-9

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

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 I“. Lecture Notes in Computer Science, 1 st ed. 2023, cd, Springer Nature Switzerland, 2023, https://doi.org/10.1007/978-3-031-30823-9.

: 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 I, 1 st ed. 2023. Aufl. Cham 2023.

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 I, Lecture Notes in Computer Science, 1 st ed. 2023., Bd. , Springer Nature Switzerland, Cham, verfügbar unter:https://doi.org/10.1007/978-3-031-30823-9.