FISMAN, Dana und ROSU, Grigore (Hrsg.). 1 st ed. 2022. Cham: Springer International Publishing. ISBN 9783030995270.
Elsevier - Harvard (with titles)Fisman, D., Rosu, G. (Hrsg.), 2022. Tools and Algorithms for the Construction and Analysis of Systems : 28 th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II, 1 st ed. 2022. ed, Lecture Notes in Computer Science. Springer International Publishing, Cham. https://doi.org/10.1007/978-3-030-99527-0
American Psychological Association 7th editionTools and Algorithms for the Construction and Analysis of Systems : 28 th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II. (ca. 2022). [Cd]. In D. Fisman & G. Rosu (Hrsg.), Lecture Notes in Computer Science (1 st ed. 2022). Springer International Publishing. https://doi.org/10.1007/978-3-030-99527-0
Springer - Basic (author-date)Fisman D, Rosu G (Hrsg.) (2022) Tools and Algorithms for the Construction and Analysis of Systems : 28 th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II, 1 st ed. 2022. Springer International Publishing, Cham
Juristische Zitierweise (Stüber) (Deutsch)Fisman, Dana/ Rosu, Grigore (Hrsg.), Tools and Algorithms for the Construction and Analysis of Systems : 28 th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II, 1 st ed. 2022 , Cham 2022.