ISO-690 (author-date, English)

MARGARIA, Tiziana und STEFFEN, Bernhard (Hrsg.). [cd]. 2025. 1 st ed. 2025. Cham: Springer Nature Switzerland. ISBN 9783031753800.

Elsevier - Harvard (with titles)

Margaria, T., Steffen, B. (Hrsg.), 2025. Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification : 12 th International Symposium, ISo LA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part III. Lecture Notes in Computer Science. https://doi.org/10.1007/978-3-031-75380-0

American Psychological Association 7th edition

Margaria, T., … Steffen, B. (Hrsg.). (ca. 2025). Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification : 12 th International Symposium, ISo LA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part III [Cd]. In Lecture Notes in Computer Science (1 st ed. 2025). Springer Nature Switzerland. https://doi.org/10.1007/978-3-031-75380-0

Springer - Basic (author-date)

Margaria T, Steffen B (Hrsg.) (2025) Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification : 12 th International Symposium, ISo LA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part III. Lecture Notes in Computer Science

Juristische Zitierweise (Stüber) (Deutsch)

Margaria, Tiziana/ Steffen, Bernhard (Hrsg.), Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification : 12 th International Symposium, ISo LA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part III, Lecture Notes in Computer Science 2025, .

Bitte prüfen Sie die Zitate auf Korrektheit, bevor Sie diese in Ihre Arbeit einfügen.