Ferreira, C. und Willemse, T.A.C. (Hrsg.) (2023) Software Engineering and Formal Methods : 21 st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings [cd]. 1 st ed. 2023, Lecture Notes in Computer Science. 1 st ed. 2023. Cham: Springer Nature Switzerland. doi:10.1007/978-3-031-47115-5.
Chicago Manual of Style 17th edition (full note)Ferreira, Carla, und Tim A. C Willemse, Hrsg. Software Engineering and Formal Methods : 21 st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings. Cd. Lecture Notes in Computer Science. 1 st ed. 2023. Cham: Springer Nature Switzerland, [2023?], Cham: Springer Nature Switzerland, [2023?]. https://doi.org/10.1007/978-3-031-47115-5.
American Psychological Association 7th editionSoftware Engineering and Formal Methods : 21 st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings. (ca. 2023). [Cd]. In C. Ferreira & T. A. C. Willemse (Hrsg.), Lecture Notes in Computer Science (1 st ed. 2023). Springer Nature Switzerland. https://doi.org/10.1007/978-3-031-47115-5
Modern Language Association 9th editionFerreira, C., und T. A. C. Willemse, Herausgeber. „Software Engineering and Formal Methods : 21 st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings“. Lecture Notes in Computer Science, 1 st ed. 2023, cd, Springer Nature Switzerland, 2023, https://doi.org/10.1007/978-3-031-47115-5.
ISO-690 (author-date, Deutsch)FERREIRA, Carla und Tim A. C WILLEMSE (Hrsg.). 1 st ed. 2023. Cham: Springer Nature Switzerland. ISBN 9783031471155