SANKARANARAYANAN, Sriram und SHARYGINA, Natasha (Hrsg.). [cd]. 2023. 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. Lecture Notes in Computer Science. https://doi.org/10.1007/978-3-031-30820-8
American Psychological Association 7th editionSankaranarayanan, S., … Sharygina, N. (Hrsg.). (ca. 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]. In 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. Lecture Notes in Computer Science
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, Lecture Notes in Computer Science 2023, .