MARGARIA, Tiziana und STEFFEN, Bernhard (Hrsg.). 1 st ed. 2016. Cham: Springer International Publishing. ISBN 9783319471693.
Elsevier - Harvard (with titles)Margaria, T., Steffen, B. (Hrsg.), 2016. Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications : 7 th International Symposium, ISo LA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II, 1 st ed. 2016. ed, Theoretical Computer Science and General Issues. Springer International Publishing, Cham. https://doi.org/10.1007/978-3-319-47169-3
American Psychological Association 7th editionLeveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications : 7 th International Symposium, ISo LA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II. (ca. 2016). [Cd]. In T. Margaria & B. Steffen (Hrsg.), Theoretical Computer Science and General Issues (1 st ed. 2016). Springer International Publishing. https://doi.org/10.1007/978-3-319-47169-3
Springer - Basic (author-date)Margaria T, Steffen B (Hrsg.) (2016) Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications : 7 th International Symposium, ISo LA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II, 1 st ed. 2016. Springer International Publishing, Cham
Juristische Zitierweise (Stüber) (Deutsch)Margaria, Tiziana/ Steffen, Bernhard (Hrsg.), Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications : 7 th International Symposium, ISo LA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II, 1 st ed. 2016 , Cham 2016.