Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage
American Psychological Association 6th edition

Software Engineering and Formal Methods : 21 st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings. [ca. 2023]. In C. Ferreira & T. A. C. Willemse (Hrsg.), Lecture Notes in Computer Science (1 st ed. 2023) [Cd]. Cham: Springer Nature Switzerland. https://doi.org/10.1007/978-3-031-47115-5

ISO-690 (author-date, English)

FERREIRA, Carla und WILLEMSE, Tim A. C (Hrsg.). 1 st ed. 2023. Cham: Springer Nature Switzerland. ISBN 9783031471155.

Modern Language Association 9th edition

Ferreira, 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.

Mohr Siebeck - Recht (Deutsch - Österreich)

: Software Engineering and Formal Methods : 21 st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings, 1 st ed. 2023. Aufl. Cham 2023.

Emerald - Harvard

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, Lecture Notes in Computer Science, 1 st ed. 2023., Bd. , Springer Nature Switzerland, Cham, verfügbar unter:https://doi.org/10.1007/978-3-031-47115-5.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.