MARGARIA, Tiziana und STEFFEN, Bernhard (Hrsg.). [cd]. 2018. 1 st ed. 2018. Cham: Springer International Publishing. ISBN 9783030034184.
Elsevier - Harvard (with titles)Margaria, T., Steffen, B. (Hrsg.), 2018. Leveraging Applications of Formal Methods, Verification and Validation. Modeling : 8 th International Symposium, ISo LA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I. Theoretical Computer Science and General Issues. https://doi.org/10.1007/978-3-030-03418-4
American Psychological Association 7th editionMargaria, T., … Steffen, B. (Hrsg.). (ca. 2018). Leveraging Applications of Formal Methods, Verification and Validation. Modeling : 8 th International Symposium, ISo LA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I [Cd]. In Theoretical Computer Science and General Issues (1 st ed. 2018). Springer International Publishing. https://doi.org/10.1007/978-3-030-03418-4
Springer - Basic (author-date)Margaria T, Steffen B (Hrsg.) (2018) Leveraging Applications of Formal Methods, Verification and Validation. Modeling : 8 th International Symposium, ISo LA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I. Theoretical Computer Science and General Issues
Juristische Zitierweise (Stüber) (Deutsch)Margaria, Tiziana/ Steffen, Bernhard (Hrsg.), Leveraging Applications of Formal Methods, Verification and Validation. Modeling : 8 th International Symposium, ISo LA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I, Theoretical Computer Science and General Issues 2018, .