MARGARIA, Tiziana und STEFFEN, Bernhard (Hrsg.). 1 st ed. 2025. Cham: Springer Nature Switzerland. ISBN 9783031737091.
Elsevier - Harvard (with titles)Margaria, T., Steffen, B. (Hrsg.), 2025. Leveraging Applications of Formal Methods, Verification and Validation. REo CAS Colloquium in Honor of Rocco De Nicola : 12 th International Symposium, ISo LA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part I, 1 st ed. 2025. ed, Lecture Notes in Computer Science. Springer Nature Switzerland, Cham. https://doi.org/10.1007/978-3-031-73709-1
American Psychological Association 7th editionLeveraging Applications of Formal Methods, Verification and Validation. REo CAS Colloquium in Honor of Rocco De Nicola : 12 th International Symposium, ISo LA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part I. (ca. 2025). [Cd]. In T. Margaria & B. Steffen (Hrsg.), Lecture Notes in Computer Science (1 st ed. 2025). Springer Nature Switzerland. https://doi.org/10.1007/978-3-031-73709-1
Springer - Basic (author-date)Margaria T, Steffen B (Hrsg.) (2025) Leveraging Applications of Formal Methods, Verification and Validation. REo CAS Colloquium in Honor of Rocco De Nicola : 12 th International Symposium, ISo LA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part I, 1 st ed. 2025. Springer Nature Switzerland, Cham
Juristische Zitierweise (Stüber) (Deutsch)Margaria, Tiziana/ Steffen, Bernhard (Hrsg.), Leveraging Applications of Formal Methods, Verification and Validation. REo CAS Colloquium in Honor of Rocco De Nicola : 12 th International Symposium, ISo LA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part I, 1 st ed. 2025 , Cham 2025.