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