International Conference on Software Engineering and Formal Methods Eindhoven, Ferreira, C., & Willemse, T. A. C. (2023). Software engineering and formal methods: 21st international conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023 : proceedings. Springer.
Chicago-Zitierstil (17. Ausg.)International Conference on Software Engineering and Formal Methods Eindhoven, Carla Ferreira, und Tim A. C. Willemse. Software Engineering and Formal Methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023 : Proceedings. Cham: Springer, 2023.
MLA-Zitierstil (9. Ausg.)International Conference on Software Engineering and Formal Methods Eindhoven, et al. Software Engineering and Formal Methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023 : Proceedings. Springer, 2023.