MARGARIA, Tiziana und STEFFEN, Bernhard (Hrsg.). 1 st ed. 2020. Cham: Springer International Publishing. ISBN 9783030614706.
Elsevier - Harvard (with titles)Margaria, T., Steffen, B. (Hrsg.), 2020. Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles : 9 th International Symposium on Leveraging Applications of Formal Methods, ISo LA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II, 1 st ed. 2020. ed, Theoretical Computer Science and General Issues. Springer International Publishing, Cham. https://doi.org/10.1007/978-3-030-61470-6
American Psychological Association 7th editionLeveraging Applications of Formal Methods, Verification and Validation: Engineering Principles : 9 th International Symposium on Leveraging Applications of Formal Methods, ISo LA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II. (ca. 2020). [Cd]. In T. Margaria & B. Steffen (Hrsg.), Theoretical Computer Science and General Issues (1 st ed. 2020). Springer International Publishing. https://doi.org/10.1007/978-3-030-61470-6
Springer - Basic (author-date)Margaria T, Steffen B (Hrsg.) (2020) Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles : 9 th International Symposium on Leveraging Applications of Formal Methods, ISo LA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II, 1 st ed. 2020. Springer International Publishing, Cham
Juristische Zitierweise (Stüber) (Deutsch)Margaria, Tiziana/ Steffen, Bernhard (Hrsg.), Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles : 9 th International Symposium on Leveraging Applications of Formal Methods, ISo LA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II, 1 st ed. 2020 , Cham 2020.