Chechik, M., Katoen, J.-P. und Leucker, M. (Hrsg.) (2023) Formal Methods : 25 th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings [cd]. 1 st ed. 2023, Lecture Notes in Computer Science. 1 st ed. 2023. Cham: Springer International Publishing. doi:10.1007/978-3-031-27481-7.
Chicago Manual of Style 17th edition (full note)Chechik, Marsha, Joost-Pieter Katoen, und Martin Leucker, Hrsg. Formal Methods : 25 th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings. Cd. Lecture Notes in Computer Science. 1 st ed. 2023. Cham: Springer International Publishing, [2023?], Cham: Springer International Publishing, [2023?]. https://doi.org/10.1007/978-3-031-27481-7.
American Psychological Association 7th editionFormal Methods : 25 th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings. (ca. 2023). [Cd]. In M. Chechik, J.-P. Katoen, & M. Leucker (Hrsg.), Lecture Notes in Computer Science (1 st ed. 2023). Springer International Publishing. https://doi.org/10.1007/978-3-031-27481-7
Modern Language Association 9th editionChechik, M., J.-P. Katoen, und M. Leucker, Herausgeber. „Formal Methods : 25 th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings“. Lecture Notes in Computer Science, 1 st ed. 2023, cd, Springer International Publishing, 2023, https://doi.org/10.1007/978-3-031-27481-7.
ISO-690 (author-date, Deutsch)CHECHIK, Marsha, Joost-Pieter KATOEN und Martin LEUCKER (Hrsg.). 1 st ed. 2023. Cham: Springer International Publishing. ISBN 9783031274817