HAVELUND, Klaus, PELESKA, Jan, ROSCOE, Bill und DE VINK, Erik (Hrsg.). [cd]. 2018. 1 st ed. 2018. Cham: Springer International Publishing. ISBN 9783319955827.
Elsevier - Harvard (with titles)Havelund, K., Peleska, J., Roscoe, B., de Vink, E. (Hrsg.), 2018. Formal Methods : 22 nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, Flo C 2018, Oxford, UK, July 15-17, 2018, Proceedings. Programming and Software Engineering. https://doi.org/10.1007/978-3-319-95582-7
American Psychological Association 7th editionHavelund, K., Peleska, J., Roscoe, B., … de Vink, E. (Hrsg.). (ca. 2018). Formal Methods : 22 nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, Flo C 2018, Oxford, UK, July 15-17, 2018, Proceedings [Cd]. In Programming and Software Engineering (1 st ed. 2018). Springer International Publishing. https://doi.org/10.1007/978-3-319-95582-7
Springer - Basic (author-date)Havelund K, Peleska J, Roscoe B, de Vink E (Hrsg.) (2018) Formal Methods : 22 nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, Flo C 2018, Oxford, UK, July 15-17, 2018, Proceedings. Programming and Software Engineering
Juristische Zitierweise (Stüber) (Deutsch)Havelund, Klaus/ Peleska, Jan/ Roscoe, Bill/ de Vink, Erik (Hrsg.), Formal Methods : 22 nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, Flo C 2018, Oxford, UK, July 15-17, 2018, Proceedings, Programming and Software Engineering 2018, .