International Conference on Software Engineering and Formal Methods Berlin, Schlingloff, B., & Chai, M. (2022). Software engineering and formal methods: 20th international conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, proceedings. Springer. https://doi.org/10.1007/978-3-031-17108-6
Chicago-Zitierstil (17. Ausg.)International Conference on Software Engineering and Formal Methods Berlin, Bernd-Holger Schlingloff, und Ming Chai. Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings. Cham, Switzerland: Springer, 2022. https://doi.org/10.1007/978-3-031-17108-6.
MLA-Zitierstil (9. Ausg.)International Conference on Software Engineering and Formal Methods Berlin, et al. Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings. Springer, 2022. https://doi.org/10.1007/978-3-031-17108-6.