SANKARANARAYANAN, Sriram und SHARYGINA, Natasha (Hrsg.). 1 st ed. 2023. Cham: Springer Nature Switzerland. ISBN 9783031308208.
Elsevier - Harvard (with titles)Sankaranarayanan, S., 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, 1 st ed. 2023. ed, Lecture Notes in Computer Science. Springer Nature Switzerland, Cham. https://doi.org/10.1007/978-3-031-30820-8
American Psychological Association 7th editionTools 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
Springer - Basic (author-date)Sankaranarayanan S, 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, 1 st ed. 2023. Springer Nature Switzerland, Cham
Juristische Zitierweise (Stüber) (Deutsch)Sankaranarayanan, Sriram/ Sharygina, Natasha (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, 1 st ed. 2023 , Cham 2023.